| Publication | Date of Publication | Type |
|---|
| Automated deduction | 2024-09-11 | Paper |
| A tableaux-based theorem prover for a decidable subset of default logic | 2023-04-28 | Paper |
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Tableau calculus for preference-based conditional logics, PCL and its extensions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Specialization of interaction protocols in a temporal action logic | 2013-10-07 | Paper |
Tableau calculi for \(\mathcal{CSL}\) over minspaces
Computer Science Logic | 2010-09-03 | Paper |
Tableau calculi for preference-based conditional logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Specifying and verifying systems of communicating agents in a temporal action logic
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Specifying and verifying interaction protocols in a temporal action logic
Journal of Applied Logic | 2007-07-25 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Conditional logic of actions and causation
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2080021 (Why is no real title available?) | 2004-08-04 | Paper |
Database repairs and analytic tableaux
Annals of Mathematics and Artificial Intelligence | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 2044514 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1931675 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1884362 (Why is no real title available?) | 2003-03-18 | Paper |
Reasoning about actions in dynamic linear time temporal logic
Logic Journal of the IGPL | 2001-05-16 | Paper |
Ramification and causality in a modal action logic
Journal Of Logic And Computation | 2000-12-19 | Paper |
| scientific article; zbMATH DE number 1523045 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1487809 (Why is no real title available?) | 2000-08-10 | Paper |
Graded hypothesis theories
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 611095 (Why is no real title available?) | 1995-06-20 | Paper |
Tableau-based characterization and theorem proving for default logic
Journal of Automated Reasoning | 1995-02-22 | Paper |
Revision and action
International Journal of Intelligent Systems | 1994-07-07 | Paper |
Modal logic based theory for non-monotonic reasoning
Journal of Applied Non-Classical Logics | 1994-06-05 | Paper |
Embedding deductive capabilities in relational database systems
International Journal of Computer & Information Sciences | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3628377 (Why is no real title available?) | 1979-01-01 | Paper |
Automatic, semantics-based indexing of natural language texts for information retrieval systems
Information Processing and Management | 1976-01-01 | Paper |
