Abstract
No abstract available.
Cited By
- Stjerna A and Rümmer P (2024). A Constraint Solving Approach to Parikh Images of Regular Languages, Proceedings of the ACM on Programming Languages, 8:OOPSLA1, (1235-1263), Online publication date: 29-Apr-2024.
- Habeeb P, Deka N, D’Souza D, Lodaya K and Prabhakar P (2023). Verification of Camera-Based Autonomous Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42:10, (3450-3463), Online publication date: 1-Oct-2023.
- Vukmirović P, Blanchette J and Heule M (2022). SAT-Inspired Eliminations for Superposition, ACM Transactions on Computational Logic, 24:1, (1-25), Online publication date: 31-Jan-2023.
- Lucas S (2020). Context-sensitive Rewriting, ACM Computing Surveys, 53:4, (1-36), Online publication date: 31-Jul-2021.
- Plesniewicz G Abduction with Estimates for Statements in Fuzzy Propositional Logic Artificial Intelligence, (164-176)
- Burel G, Bury G, Cauderlier R, Delahaye D, Halmagrand P and Hermant O (2019). First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice, Journal of Automated Reasoning, 64:6, (1001-1050), Online publication date: 1-Aug-2020.
- Ahmad W, Hasan O and Tahar S (2020). Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation, Formal Aspects of Computing, 32:1, (71-111), Online publication date: 1-Feb-2020.
- Willard D On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction Logical Foundations of Computer Science, (268-286)
- Webster M, Western D, Araiza-Illan D, Dixon C, Eder K, Fisher M and Pipe A (2020). A corroborative approach to verification and validation of human–robot teams, International Journal of Robotics Research, 39:1, (73-99), Online publication date: 1-Jan-2020.
- Gibson M and Vasconcelos W (2019). A knowledge-based approach to multiplayer games in peer-to-peer networks, Knowledge and Information Systems, 61:2, (1091-1121), Online publication date: 1-Nov-2019.
- Padget J and Vasconcelos W (2018). Fine-Grained Access Control via Policy-Carrying Data, ACM Transactions on Internet Technology, 18:3, (1-24), Online publication date: 31-Aug-2018.
- Hóu Z, Clouston R, Goré R and Tiu A (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics, ACM Transactions on Computational Logic, 19:2, (1-35), Online publication date: 28-Jun-2018.
- Schlichtkrull A (2018). Formalization of the Resolution Calculus for First-Order Logic, Journal of Automated Reasoning, 61:1-4, (455-484), Online publication date: 1-Jun-2018.
- Blanchette J, Popescu A and Traytel D (2017). Soundness and Completeness Proofs by Coinductive Methods, Journal of Automated Reasoning, 58:1, (149-179), Online publication date: 1-Jan-2017.
- Criado N and Such J Selective norm monitoring Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (208-214)
- Criado N, Black E and Luck M (2016). A coherence maximisation process for solving normative inconsistencies, Autonomous Agents and Multi-Agent Systems, 30:4, (640-680), Online publication date: 1-Jul-2016.
- Benedikt M, Cate B and Boom M (2015). Effective Interpolation and Preservation in Guarded Logics, ACM Transactions on Computational Logic, 17:2, (1-46), Online publication date: 28-Mar-2016.
- Backeman P and Rümmer P Efficient Algorithms for Bounded Rigid E-unification Proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Volume 9323, (70-85)
- Hudek A, Toman D and Weddell G On Enumerating Query Plans Using Analytic Tableau Proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Volume 9323, (339-354)
- Backeman P and Rümmer P Free Variables and Theories Proceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 9322, (3-13)
- Liu Z, Chen D, Wurm K and von Wichert G (2015). Table-top scene analysis using knowledge-supervised MCMC, Robotics and Computer-Integrated Manufacturing, 33:C, (110-123), Online publication date: 1-Jun-2015.
- Willard D On the Broader Epistemological Significance of Self-Justifying Axiom Systems Proceedings of the 21st International Workshop on Logic, Language, Information, and Computation - Volume 8652, (221-236)
- Shen Y, Wang K, Eiter T, Fink M, Krennwallner T and Deng J (2014). FLP answer set semantics without circular justifications for general logic programs, Artificial Intelligence, 213:1, (1-41), Online publication date: 1-Aug-2014.
- Benedikt M, ten Cate B and Boom M Effective interpolation and preservation in guarded logics Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (1-10)
- Gunadi H and Tiu A Efficient Runtime Monitoring with Metric Temporal Logic Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (296-311)
- Chaudhri V, Cheng B, Overholtzer A, Roschelle J, Spaulding A, Clark P, Greaves M and Gunning D (2013). Inquire Biology: A Textbook that Answers Questions, AI Magazine, 34:3, (55-72), Online publication date: 1-Sep-2013.
- Sanwal M and Hasan O Formal verification of cyber-physical systems Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1, (358-371)
- Du J, Qi G and Shen Y (2013). Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases, Knowledge and Information Systems, 34:2, (335-371), Online publication date: 1-Feb-2013.
- Du J, Qi G, Pan J and Shen Y Approximating Linear Order Inference in OWL 2 DL by Horn Compilation Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01, (97-104)
- Slota M and Leite J A unifying perspective on knowledge updates Proceedings of the 13th European conference on Logics in Artificial Intelligence, (372-384)
- Franconi E, Kerhet V and Ngo N Exact query reformulation with first-order ontologies and databases Proceedings of the 13th European conference on Logics in Artificial Intelligence, (202-214)
- Hansen C, Antonsen R, Giese M and Waaler A (2012). Incremental variable splitting, Journal of Symbolic Computation, 47:9, (1046-1065), Online publication date: 1-Sep-2012.
- Platzer A Logics of Dynamical Systems Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, (13-24)
- Mashkoor A and Hasan O Formal probabilistic analysis of cyber-physical transportation systems Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III, (419-434)
- Rosenberg S, Banerjee A and Naumann D Decision procedures for region logic Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation, (379-395)
- Huang S, Li Q and Hitzler P Paraconsistent semantics for hybrid MKNF knowledge bases Proceedings of the 5th international conference on Web reasoning and rule systems, (93-107)
- Paschke A Rules and logic programming for the web Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (326-381)
- Rudolph S Foundations of description logics Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (76-136)
- Bruijn J, Eiter T, Polleres A and Tompits H (2011). Embedding nonground logic programs into autoepistemic logic for knowledge-base combination, ACM Transactions on Computational Logic, 12:3, (1-39), Online publication date: 1-May-2011.
- Brillout A, Kroening D, Rümmer P and Wahl T Beyond quantifier-free interpolation in extensions of Presburger arithmetic Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, (88-102)
- Motik B Representing and querying validity time in RDF and OWL Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (550-565)
- Du J and Qi G Decomposition-based optimization for debugging of inconsistent OWL DL ontologies Proceedings of the 4th international conference on Knowledge science, engineering and management, (88-100)
- Brillout A, Kroening D, Rümmer P and Wahl T An interpolating sequent calculus for quantifier-free presburger arithmetic Proceedings of the 5th international conference on Automated Reasoning, (384-399)
- Motik B and Rosati R (2008). Reconciling description logics and rules, Journal of the ACM, 57:5, (1-62), Online publication date: 1-Jun-2010.
- Matsak E Representing Logical Inference Steps with Digital Circuits Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009, (178-184)
- Pliuškevičius R and Pliuškevičienė A (2008). Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic, Informatica, 19:4, (597-616), Online publication date: 1-Dec-2008.
- Hörne T and van der Poll J Planning as model checking Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology, (114-123)
- Fuchs N, Kaljurand K and Kuhn T Attempto Controlled English for Knowledge Representation Reasoning Web, (104-124)
- Eiter T, Ianni G, Lukasiewicz T, Schindlauer R and Tompits H (2008). Combining answer set programming with description logics for the Semantic Web, Artificial Intelligence, 172:12-13, (1495-1539), Online publication date: 1-Aug-2008.
- Hähnle R, Pan J, Rümmer P and Walter D (2008). Integration of a security type system into a program logic, Theoretical Computer Science, 402:2-3, (172-189), Online publication date: 20-Jul-2008.
- Du J and Shen Y Computing minimum cost diagnoses to repair populated DL-based ontologies Proceedings of the 17th international conference on World Wide Web, (565-574)
- Velroyen H and Rümmer P Non-termination checking for imperative programs Proceedings of the 2nd international conference on Tests and proofs, (154-170)
- De Bruijn J and Heymans S Logical foundations of (e)RDF(S) Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, (86-99)
- de Bruijn J and Heymans S Logical Foundations of (e)RDF(S): Complexity and Reasoning The Semantic Web, (86-99)
- Marx M Queries determined by views Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (23-30)
- Ahrendt W, Beckert B, Hähnle R and Schmitt P KeY Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems, (32-43)
- Rümmer P and Shah M Proving programs incorrect using a sequent calculus for Java dynamic logic Proceedings of the 1st international conference on Tests and proofs, (41-60)
- Motik B and Rosati R A faithful integration of description logics with logic programming Proceedings of the 20th international joint conference on Artifical intelligence, (477-482)
- Kapur D, Majumdar R and Zarba C Interpolation for data structures Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (105-116)
- Bolotov A, Basukoski A, Grigoriev O and Shangin V Natural deduction calculus for linear-time temporal logic Proceedings of the 10th European conference on Logics in Artificial Intelligence, (56-68)
- Kuhn T, Royer L, Fuchs N and Schröder M Improving text mining with controlled natural language Proceedings of the Third international conference on Data Integration in the Life Sciences, (66-81)
- Struth G Tableaux for lattices Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (323-337)
- Keller U, Lausen H and Stollberg M On the semantics of functional descriptions of web services Proceedings of the 3rd European conference on The Semantic Web: research and applications, (605-619)
- Omodeo E, Cantone D, Policriti A and Schwartz J A computerized referee Reasoning, Action and Interaction in AI Theories and Systems, (117-139)
- García-Camino A, Rodríguez-Aguilar J, Sierra C and Vasconcelos W (2006). A rule-based approach to norm-oriented programming of electronic institutions, ACM SIGecom Exchanges, 5:5, (33-40), Online publication date: 1-Jan-2006.
- Willard D On the partial respects in which a real valued arithmetic system can verify its tableaux consistency Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (292-306)
- Murray N and Rosenthal E Efficient query processing with compiled knowledge bases Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (231-244)
- Gedell T Embedding static analysis into tableaux and sequent based frameworks Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (108-122)
- Schmidhuber J Completely self-referential optimal reinforcement learners Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II, (223-233)
- Kumar R, Krogh B and Feiler P An ontology-based approach to heterogeneous verification of embedded control systems Proceedings of the 8th international conference on Hybrid Systems: computation and control, (370-385)
- Kovásznai G (2005). HyperS tableaux - heuristic hyper tableaux, Acta Cybernetica, 17:2, (325-338), Online publication date: 10-Jan-2005.
- Gouveia P and Ramos J (2004). Multi-Agent Systems Specification and Certification, Annals of Mathematics and Artificial Intelligence, 41:2-4, (301-338), Online publication date: 1-Aug-2004.
- Bertossi L and Schwind C (2004). Database Repairs and Analytic Tableaux, Annals of Mathematics and Artificial Intelligence, 40:1-2, (5-35), Online publication date: 1-Jan-2004.
- Beckert B (2003). Depth-first proof search without backtracking for free-variable clausal tableaux, Journal of Symbolic Computation, 36:1-2, (117-138), Online publication date: 1-Jul-2003.
- Santos F and Pacheco O Specifying and reasoning with institutional agents Proceedings of the 9th international conference on Artificial intelligence and law, (162-170)
- Baumgartner P First-order logic Davis-Putnam-Logemann-Loveland procedure Exploring artificial intelligence in the new millennium, (289-329)
- Di Lascio L Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic Proceedings of the 14th international conference on Software engineering and knowledge engineering, (117-124)
- Waldmann U (2002). Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I), Journal of Symbolic Computation, 33:6, (777-829), Online publication date: 1-Jun-2002.
- WU C and LEE S (2002). KJ3—a tool assisting formal validation of knowledge-based systems, International Journal of Human-Computer Studies, 56:5, (495-524), Online publication date: 1-Apr-2002.
- Manca V (2002). DNA and membrane algorithms for SAT, Fundamenta Informaticae, 49:1, (205-221), Online publication date: 1-Jan-2002.
- Wos L (2001). A Milestone Reached and a Secret Revealed, Journal of Automated Reasoning, 27:2, (89-95), Online publication date: 1-Aug-2001.
- Bonacina M (2001). A taxonomy of parallel strategies for deduction, Annals of Mathematics and Artificial Intelligence, 29:1-4, (223-257), Online publication date: 10-Jan-2001.
- Letz R and Stenz G Model elimination and connection tableau procedures Handbook of automated reasoning, (2015-2112)
- Waaler A Connections in nonclassical logics Handbook of automated reasoning, (1487-1578)
- Dix J, Furbach U and Niemelä I Nonmonotonic reasoning Handbook of automated reasoning, (1241-1354)
- De Rijke M (1999). Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann, Journal of Logic, Language and Information, 8:4, (476-478), Online publication date: 1-Oct-1999.
- Fuchs M, Fuchs D and Fuchs M Generating lemmas for tableau-based proof search using genetic programming Proceedings of the 1st Annual Conference on Genetic and Evolutionary Computation - Volume 2, (1027-1032)
- Carballo J and Director S Constraint management for collaborative electronic design Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (529-534)
- Arpinar Ï, Halici U, Arpinar S and Doğaç A (1999). Formalization of Workflows and Correctness Issues in the Presence of Concurrency, Distributed and Parallel Databases, 7:2, (199-248), Online publication date: 1-Apr-1999.
Index Terms
- First-order logic and automated theorem proving (2nd ed.)