Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Stijn Heymans

Nonmonotonic Ontological and Rule-Based Reasoning With Extended Conceptual Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Related publications

Experimenting With Nonmonotonic Reasoning

1995English

Nonmonotonic Reasoning

Computers and Mathematics with Applications
MathematicsComputational MathematicsSimulationModelingComputational Theory
1997English

Temporally Annotated Extended Logic Programs

International Journal of Advanced Research in Artificial Intelligence
2012English

Nonmonotonic Reasoning With Quantified Boolean Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Extended Sequential Reasoning for Data-Race-Free Programs

2011English

Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

Classical Methods in Nonmonotonic Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy