The following pages link to Logics in Artificial Intelligence (Q5394125):
Displayed 12 items.
- Equilibrium logic (Q854969) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Normal Form Nested Programs (Q5900402) (← links)