The following pages link to Stijn Heymans (Q854975):
Displaying 21 items.
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics (Q2999102) (← links)
- Guarded hybrid knowledge bases (Q3506442) (← links)
- Logical Foundations of RDF(S) with Datatypes (Q3588640) (← links)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- Complexity of the Stable Model Semantics for Queries on Incomplete Databases (Q3643109) (← links)
- (Q4411719) (← links)
- Open answer set programming with guarded programs (Q5277815) (← links)
- Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799) (← links)
- Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming (Q5301993) (← links)
- Logic Programming (Q5313183) (← links)
- Logics in Artificial Intelligence (Q5394112) (← links)
- Theoretical Computer Science (Q5395079) (← links)
- The Semantics of Datalog for the Evidential Tool Bus (Q5403073) (← links)
- Cooperating Answer Set Programming (Q5449603) (← links)
- (Q5450120) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473963) (← links)
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705920) (← links)
- Foundations of Information and Knowledge Systems (Q5898544) (← links)
