A first-order conditional logic for prototypical properties
Artificial Intelligence
On first-order conditional logics
Artificial Intelligence
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Preferential logics: the predicate calculus case
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Nitpick: a counterexample generator for higher-order logic based on a relational model finder
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Satallax: an automatic higher-order prover
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
A notion of quantified conditional logics is provided that includes quantification over individual and propositional variables. The former is supported with respect to constant and variable domain semantics. In addition, a sound and complete embedding of this framework in classical higher-order logic is presented. Using prominent examples from the literature it is demonstrated how this embedding enables effective automation of reasoning within (object-level) and about (meta-level) quantified conditional logics with off-the-shelf higher-order theorem provers and model finders.