1097 search results - page 34 / 220 » Revision Programming = Logic Programming Integrity Constra... |
145
Voted
JOLLI
2008
15 years 2 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
111
Voted
ISIP
2008
IEEE
15 years 9 months ago
2008
IEEE
Adaptive Business Intelligence is the discipline that combines prediction, optimization and adaptability into a system answering two important questions: What would probably happe...
81
Voted
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
144
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
144
Voted
KRDB
1996
15 years 3 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...