“Dynamic” inferencing with generalized resolution
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Dissolution: making paths vanish
Journal of the ACM (JACM)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Representing and Reasoning on Conceptual QueriesOver Image Databases
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Constraints and theorem proving
Constraints in computational logics
Evaluation of Queries under Closed-World Assumption
Journal of Automated Reasoning
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case
Journal of Automated Reasoning
General Algorithms for Permutations in Equational Inference
Journal of Automated Reasoning
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
Adapting Tableaux for Classification (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hilbert's epsilon-Terms in Automated Theorem Proving
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Higher-Order Positive Set Constraints
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Confluent Connection Calculus
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Model elimination and connection tableau procedures
Handbook of automated reasoning
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
Generating text with a theorem prover
Proceedings of the workshop on Student research
Reasoning with descriptions of trees
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning
Checking query containment with the CQC method
Data & Knowledge Engineering
The semantics of BI and resource tableaux
Mathematical Structures in Computer Science
Semantic Analysis of Matrix Structures
ICDAR '05 Proceedings of the Eighth International Conference on Document Analysis and Recognition
Norm-oriented programming of electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Distributed norm management in regulated multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
Operationalisation of Norms for Electronic Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
A Tableaux System for Deontic Action Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Automated Model Building: From Finite to Infinite Models
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
Mathematical Structures in Computer Science
Automated deduction for verification
ACM Computing Surveys (CSUR)
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Equality elimination for the inverse method and extension procedures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Resolution with Limited Factoring
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Validation of Proofs Using PhoX
Electronic Notes in Theoretical Computer Science (ENTCS)
Resource Graphs and Countermodels in Resource Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning
Verification in ACL2 of a generic framework to synthesize SAT-provers
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Decidability of invariant validation for paramaterized systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
An tableau automated theorem proving method using logical reinforcement learning
ISICA'07 Proceedings of the 2nd international conference on Advances in computation and intelligence
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Ignoring, forcing and expecting simultaneous events in electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A taxonomy of theorem-proving strategies
Artificial intelligence today
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Specifying and verifying organizational security properties in first-order logic
Verification, induction termination analysis
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
A logic teaching tool based on tableaux for verification and debugging of algorithms
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Characterizing provability in BI's pointer logic through resource graphs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Processing textbook-style matrices
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
Hyper tableaux — the third version
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
A Resolution Calculus with Shared Literals
Fundamenta Informaticae
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
Reachability In Some Classes Of Acyclic Petri Nets
Fundamenta Informaticae
Hi-index | 0.00 |