Constraint management for collaborative electronic design
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation
Journal of Automated Reasoning
A Milestone Reached and a Secret Revealed
Journal of Automated Reasoning
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann
Journal of Logic, Language and Information
Cancellative abelian monoids and related structures in refutational theorem proving (Part I)
Journal of Symbolic Computation
DNA and membrane algorithms for SAT
Fundamenta Informaticae - Membrane computing
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Generating referring expressions: boolean extensions of the incremental algorithm
Computational Linguistics
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Contextual Inference in Computational Semantics
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Simultaneous Rigid Sorted Unification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Free Variable Tableaux for a Logic with Term Declarations
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableaux Calculus for Ambiguous Quantification
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau Calculus for Pronoun Resolution
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Question Answering: From Partitions to Prolog
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A New Indefinite Semantics for Hilbert's Epsilon
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau Calculus for Combining Non-disjoint Theories
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Verifying an Applicative ATP Using Multiset Relations
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Information and Computation
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Connections in nonclassical logics
Handbook of automated reasoning
Model elimination and connection tableau procedures
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
Constructing decision procedures in equational clausal logic
Fundamenta Informaticae
Depth-first proof search without backtracking for free-variable clausal tableaux
Journal of Symbolic Computation - Special issue: First order theorem proving
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Specifying and reasoning with institutional agents
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
Journal of Automated Reasoning
A rule-based approach to norm-oriented programming of electronic institutions
ACM SIGecom Exchanges
HyperS tableaux - heuristic hyper tableaux
Acta Cybernetica
Interpolation for data structures
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A survey on knowledge compilation
AI Communications
Static analysis of executables to detect malicious patterns
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Queries determined by views: pack your views
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Languages of logic and their applications
Computers & Mathematics with Applications
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Integration of a security type system into a program logic
Theoretical Computer Science
Tuplespace-based computing for the semantic web: A survey of the state-of-the-art
The Knowledge Engineering Review
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Attempto Controlled English for Knowledge Representation
Reasoning Web
Planning as model checking: the performance of ProB vs NuSMV
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
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Journal of Automated Reasoning
α lean TAP: A Declarative Theorem Prover for First-Order Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Introducing pattern-based design for legal ontologies
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
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
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Goal-Directed Module Extraction for Explaining OWL DL Entailments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Journal of Automated Reasoning
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
KeY: a formal method for object-oriented systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
Proving programs incorrect using a sequent calculus for Java dynamic logic
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Logical foundations of (e)RDF(S): complexity and reasoning
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Non-termination checking for imperative programs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Many-valued non-deterministic semantics for first-order logics of formal (in)consistency
Algebraic and proof-theoretic aspects of non-classical logics
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Decomposition-based optimization for debugging of inconsistent OWL DL ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Quantified differential dynamic logic for distributed hybrid systems
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Representing and querying validity time in RDF and OWL: a logic-based approach
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Completely self-referential optimal reinforcement learners
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Theoretical Computer Science
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Paraconsistent semantics for hybrid MKNF knowledge bases
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A survey on question answering technology from an information retrieval perspective
Information Sciences: an International Journal
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Synthesizing proof planning methods and Ω-ants agents from mathematical knowledge
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
Journal of Automated Reasoning
Natural deduction calculus for linear-time temporal logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
XBRL taxonomies and OWL ontologies for investment funds
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
A semantic completeness proof for tamed
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Saturation up to redundancy for tableau and sequent calculi
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Embedding static analysis into tableaux and sequent based frameworks
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
On the partial respects in which a real valued arithmetic system can verify its tableaux consistency
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A first order extension of stålmarck’s method
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Improving text mining with controlled natural language: a case study for protein interactions
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Reasoning, Action and Interaction in AI Theories and Systems
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
An interpolating sequent calculus for quantifier-free presburger arithmetic
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Decision procedures for region logic
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Incremental variable splitting
Journal of Symbolic Computation
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Formal probabilistic analysis of cyber-physical transportation systems
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
DNA and Membrane Algorithms for SAT
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Fundamenta Informaticae
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Formal verification of cyber-physical systems: coping with continuous elements
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
Exact query reformulation over databases with first-order and description logics ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.00 |