Meta-programming with names and necessity
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
A Modal Logic for Network Topologies
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
On BAN Logics for Industrial Security Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
A General Theorem Prover for Quantified Modal Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CL '00 Proceedings of the First International Conference on Computational Logic
Decidable Navigation Logics for Object Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Higher-Order Modal Logic - A Sketch
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Connections in nonclassical logics
Handbook of automated reasoning
ε-connections of abstract description systems
Artificial Intelligence
Natural Deduction for First-Order Hybrid Logic
Journal of Logic, Language and Information
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
First-order classical modal logic: applications in logics of knowledge and probability
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Staged computation with names and necessity
Journal of Functional Programming
IC-based ontology expansion in devouring accessibility
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Theoretical Computer Science
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalising theories of trust for authentication protocols
Information Systems Frontiers
Dynamic intention structures I: a theory of intention representation
Autonomous Agents and Multi-Agent Systems
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis
Fundamenta Informaticae - Special issue ISMIS'05
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
Counterexample Guided Spotlight Abstraction Refinement
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Extending Agent Capabilities: Tools vs. Agents
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Analytic Tableaux for Verifying Agent Beliefs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
How to Complete Regulations in Multi-agent Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Analysis of authentication protocols in agent-based systems using labeled tableaux
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
A dynamic semantics of intentional identity
JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Verifying temporal heap properties specified via evolution logic
ESOP'03 Proceedings of the 12th European conference on Programming
Modal aspects of object types and part-whole relations and the de re/de dicto distinction
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
OOPS: An S5n Prover for Educational Settings
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
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
How to universally close the existential rule
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
The Quasi-lattice of Indiscernible Elements
Studia Logica
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Partly Free Semantics for Some Anderson-Like Ontological Proofs
Journal of Logic, Language and Information
Studia Logica
Mathematics of public announcements
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
An order-sorted quantified modal logic for meta-ontology
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
An ontology-based first-order modal logic
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
The data complexity of MDatalog in basic modal logics
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Dynamic logic with non-rigid functions: a basis for object-oriented program verification
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Speech acts with institutional effects in agent societies
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Agent roles, qua individuals and the counting problem
Software Engineering for Multi-Agent Systems IV
Towards OntoClean 2.0: A framework for rigidity
Applied Ontology
The QMLTP problem library for first-order modal logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis
Fundamenta Informaticae - Special issue ISMIS'05
Foundations of Modal Deductive Databases
Fundamenta Informaticae
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Fundamenta Informaticae
Logical Connections of Statements at the Ontological Level
International Journal of Cognitive Informatics and Natural Intelligence
Free Quantified Epistemic Logics
Studia Logica
Logic-based Reasoning Support for SBVR
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |