Knowledge-oriented programming
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Knowledge, timed precedence and clocks (preliminary report)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
An authentication logic supporting synchronization, revocation, and recency
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Applications of a logic of knowledge to motion planning under uncertainty
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Knowledge Management in Societies of Intelligent Adaptive Agents
Journal of Intelligent Information Systems - Special issue: adaptive intelligent agents
The role of knowledge in software development
Communications of the ACM
Belief revision with unreliable observations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Verifying that agents implement a communication language
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Theory for coordinating concurrent hierarchical planning agents using summary information
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
An axiomatic treatment of three qualitative decision criteria
Journal of the ACM (JACM)
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
On the relationship between strand spaces and multi-agent systems
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Ascribing beliefs to resource bounded agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
The bit transmission problem revisited
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency
IEEE Transactions on Software Engineering
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Logic-based artificial intelligence
Modeling the beliefs of other agents
Logic-based artificial intelligence
Logical foundations of agent-based computing
Mutli-agents systems and applications
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
Artificial Intelligence Review
Formal aspects of a generic model of trust for electronic commerce
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Set-theoretic completeness for epistemic and conditional logic
Annals of Mathematics and Artificial Intelligence
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
Journal of Logic, Language and Information
Approximate Common Knowledge and Co-ordination: Recent Lessons from Game Theory
Journal of Logic, Language and Information
Reasoning about Information Change
Journal of Logic, Language and Information
Using Abstract Resources to Control Reasoning
Journal of Logic, Language and Information
Journal of Logic, Language and Information
A Logic with Relative Knowledge Operators
Journal of Logic, Language and Information
Display Calculi for Logics with Relative Accessibility Relations
Journal of Logic, Language and Information
A Logical Analysis of the Relationship between Commitment and Obligation
Journal of Logic, Language and Information
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Clausal resolution in a logic of rational agency
Artificial Intelligence
On the relationship between strand spaces and multi-agent systems
ACM Transactions on Information and System Security (TISSEC)
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
Rational Coordination in Multi-Agent Environments
Autonomous Agents and Multi-Agent Systems
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Collective Intentions and the Maintenance of Social Practices
Autonomous Agents and Multi-Agent Systems
Causal Maps: Theory, Implementation, and Practical Applications in Multiagent Environments
IEEE Transactions on Knowledge and Data Engineering
IEEE Intelligent Systems
Fundamenta Informaticae
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Holonic Multiagent Systems - Theory and Applications
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Reasoning about Evolving Nonmonotonic Knowledge Bases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Framework for Splitting BDI Agents
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Toward sofware synthesis for distributed applications
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Intra-agent modality and nonmonotonic epistemic logic
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Belief revision and rationalizability
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Knowledge and the logic of local propositions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Characterizing the common prior assumption
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Using counterfactuals in knowledge-based programming
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Context-Based Logic for Distributed Knowledge Representation and Reasoning
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Revising the Weakest Failure Detector for Uniform Reliable Broadcast
Proceedings of the 13th International Symposium on Distributed Computing
Maintaining a Jointly Constructed Student Model
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Separating Sets by Modal Formulas
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Formal Model of the Process of Wayfinding in Built Environments
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Logical Foundations of Agent-Based Computing
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
On Formal Modeling of Agent Computations
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Towards Formal Specification and Verification in Cyberspace
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
The Logic of Authentication Protocols
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Prohairetic Deontic Logic (PDL)
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Monodic Epistemic Predicate Logic
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Complexity of Multi-agent Systems Behavior
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multi-agent Logics of Dynamic Belief and Knowledge
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Knowledge Constructions for Artificial Intelligence
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
A Hybrid Treatment of Evolutionary Sets
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Rough Sets for Uncertainty Reasoning
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
How Much Privacy? - A System to Safe Guard Personal Privacy while Releasing Databases
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Formal Semantics of Acknowledgements, Agreements and Disagreements
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Game Theory and Artificial Intelligence
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A Model of BDI-Agent in Game-Theoretic Framework
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Efficient Model Checking of Causal-Knowledge 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
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
On Commitments, Roles, and Obligations
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 Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Expressive and Model Checking Power of Propositional Program Logics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
On Refinement and Temporal Annotations
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Concurrent Knowledge and Logical Clock Abstractions
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Knowledge over Dense Flows of Time (from a Hybrid Point of View)
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Composing Specifications for Coordination
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
On Obligations, Relativised Obligations, and Bilateral Commitments
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Virtual Mental Space: Interacting with the Characters of Works of Literature
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Group Principals and the Formalization of Anonymity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
A Logical Model for Privacy Protection
ISC '01 Proceedings of the 4th International Conference on Information Security
A Roadmap of Epistemic Logics for Learning Agents
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Intention Reconsideration Reconsidered
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Theory for Team Formation by Dialogue
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
An Abstract Machine for Classes of Communicating Agents Based on Deduction
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The SAT-Based Approach for Classical Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimistic and Disjunctive Agent Design Problems
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Four-valued knowledge augmentation for structured document retrieval
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Knowledge, action, and the frame problem
Artificial Intelligence
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Computation in a distributed information market
Proceedings of the 4th ACM conference on Electronic commerce
Locally linear time temporal logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Logic for SDSI's Linked Local Name Spaces: Preliminary Version
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Probabilistic algorithmic knowledge
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verifying epistemic properties of multi-agent systems via bounded model checking
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards model checking interpreted systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Expectation: the logic of flexible motivation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ignore at your peril - towards a logic for ignorance
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Conditional Probability Meets Update Logic
Journal of Logic, Language and Information
Quality and Quantity of Information Exchange
Journal of Logic, Language and Information
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Undecidability of a multi-agent logic
Fundamenta Informaticae - Concurrency specification and programming
The description logic handbook
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
Logic and the Dynamics of Information
Minds and Machines
Design and reasoning with diagrams
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
Probabilistic belief logic and its probabilistic aumann semantics
Journal of Computer Science and Technology
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Formalisms for multi-agent systems
The Knowledge Engineering Review
Proceedings of the 13th international conference on World Wide Web
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ε-connections of abstract description systems
Artificial Intelligence
Rational secret sharing and multiparty computation: extended abstract
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Reasoning about common knowledge with infinitely many agents
Information and Computation
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Knowledge, Rationality and Action
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Situated Modelling of Scenarios
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Knowledge as a tool in motion planning under uncertainty
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Logics for insecure communication
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Stepwise development of security protocols: a speech act-oriented approach
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Implementing knowledge-based programs
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Knowledge based programs: on the complexity of perfect recall in finite environments
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
On ambiguities in the interpretation of game trees
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
A note on knowledge-based programs and specifications
Distributed Computing
Computing best-response strategies in infinite games of incomplete information
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Sequential information elicitation in multi-agent systems
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Theoretical Computer Science
Using counterfactuals in knowledge-based programming
Distributed Computing
The power of logical clock abstractions
Distributed Computing
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Distributed Computing
The finite and the infinite in temporal logic
ACM SIGACT News
ACM SIGACT News
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Combining logics for modelling security policies
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A computationally grounded logic of knowledge, belief and certainty
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Approximating state estimation in multiagent settings using particle filters
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The value of privacy: optimal strategies for privacy minded agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Bounded model checking knowledge and branching time in synchronous multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Complexity results for logics of local reasoning and inconsistent belief
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Continuous consensus via common knowledge
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Common knowledge in update logics
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
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
On epistemic logic with justification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Knowledge and communication: a first-order theory
Artificial Intelligence
Normative Communication Models for Agent
Autonomous Agents and Multi-Agent Systems
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Synthesis of distributed systems from knowledge-based specifications
CONCUR 2005 - Concurrency Theory
A Formal Model of Multi-Agent Belief-Interaction
Journal of Logic, Language and Information
Proceedings of the 2005 ACM workshop on Formal methods in security engineering
Consciousness, Agents and the Knowledge Game
Minds and Machines
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
Models for semantic interoperability in service-oriented architectures
IBM Systems Journal
Backtracking games and inflationary fixed points
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Computation in a distributed information market
Theoretical Computer Science - Game theory meets theoretical computer science
Strong planning under partial observability
Artificial Intelligence
On the relationship between roles and power: preliminary report
Proceedings of the 2006 ACM symposium on Applied computing
Anonymity and information hiding in multiagent systems
Journal of Computer Security
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
Distributed Computing
Journal of Intelligent Information Systems
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A complete and decidable security-specialised logic and its application to the TESLA protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Model checking knowledge, strategies, and games in multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Model checking for multivalued logic of knowledge and time
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The complexity of model checking concurrent programs against CTLK specifications
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Awareness as a vital ingredient of teamwork
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Some semantics for a logical language for the game of dominoes
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Theoretical Computer Science
Issues in computational Vickrey auctions
International Journal of Electronic Commerce - Special issue: Intelligent agents for electronic commerce
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Epistemic Verification of Anonymity
Electronic Notes in Theoretical Computer Science (ENTCS)
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
Logics of communication and change
Information and Computation
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
An epistemic framework for privacy protection in database linking
Data & Knowledge Engineering
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Information needs in agent teamwork
Web Intelligence and Agent Systems
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
A Design Methodology for Modeling Trustworthy Value Webs
International Journal of Electronic Commerce
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Declarative programming for artificial intelligence applications
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Merging rule-based belief databases
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Bounded model checking for knowledge and real time
Artificial Intelligence
Clausal resolution for normal modal logics
Journal of Algorithms
Symbolic model checking for temporal-epistemic logics
ACM SIGACT News
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A canonical model for interactive unawareness
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Perfect cryptography, S5 knowledge, and algorithmic knowledge
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
An adversarial environment model for bounded rational agents in zero-sum interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A quantified epistemic logic for reasoning about multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A temporal epistemic logic with a reset operation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Preservation of obligations in a temporal and deontic framework
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A grammar-based multiagent system in dynamic design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Verification of the TESLA protocol in MCMAS-X
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Multi-party communication and information-need anticipation by experience
Web Intelligence and Agent Systems
Computer science and game theory
Communications of the ACM - Designing games with a purpose
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
Quantifying over coalitions in epistemic logic
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Verifying time, memory and communication bounds in systems of reasoning agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Towards verifying compliance in agent-based web service compositions
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Epistemic logic and explicit knowledge in distributed programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Synchronization protocols for reliable communication in fully distributed agent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
ACM Transactions on Information and System Security (TISSEC)
Formal reasoning with rough sets in multiple-source approximation systems
International Journal of Approximate Reasoning
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
Symbolic Model Checking of Logics with Actions
Model Checking and Artificial Intelligence
Inductive Logic Programming
Justified and Common Knowledge: Limited Conservativity
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Model Checking Knowledge and Linear Time: PSPACE Cases
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
An Improved Fusion Design of Audio-Gesture for Multi-modal HCI Based on Web and WPS
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Dynamics of Approximate Information Fusion
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Abstractions of Multi-agent Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Towards Approximate BGI Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Idempotent Transductions for Modal Logics
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Verifying Temporal and Epistemic Properties of Web Service Compositions
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Action and Agency in Norm-Governed Multi-agent Systems
Engineering Societies in the Agents World VIII
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
AAIM '08 Proceedings of the 4th international conference on Algorithmic Aspects in Information and Management
Need to Know: Questions and the Paradox of Epistemic Obligation
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Probabilistic and Logical Beliefs
Languages, Methodologies and Development Tools for Multi-Agent Systems
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS
Languages, Methodologies and Development Tools for Multi-Agent Systems
Symmetric and Synchronous Communication in Peer-to-Peer Networks
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Refinement of Kripke Models for Dynamics
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Force deployment analysis with generalized grammar
Information Fusion
Learning communicative actions of conflicting human agents
Journal of Experimental & Theoretical Artificial Intelligence
Classical Knowledge for Quantum Cryptographic Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
From DEL to EDL: Exploring the Power of Converse Events
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Proving Epistemic and Temporal Properties from Knowledge Based Programs
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Methodical Construction of Symbolic Diagrams
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Using Data Mining Algorithms for Statistical Learning of a Software Agent
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Manipulating Paraconsistent Knowledge in Multi-agent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
Solving Sum and Product Riddle via BDD-Based Model Checking
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Fuzzy Communication Reaching Consensus under Acyclic Condition
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Knowledge Assessment: A Modal Logic Approach
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Declarative Agent Languages and Technologies VI
Iterated Belief Revision in the Face of Uncertain Communication
Declarative Agent Languages and Technologies VI
Decisions, Actions, and Games: A Logical Perspective
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Epistemic Strategies and Games on Concurrent Processes
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
On BAN logic and hash functions or: how an unjustified inference rule causes problems
Autonomous Agents and Multi-Agent Systems
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
LDYIS: a Framework for Model Checking Security Protocols
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Aximo: Automated Axiomatic Reasoning for Information Update
Electronic Notes in Theoretical Computer Science (ENTCS)
Syntactic Cut-elimination for Common Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
Common knowledge does not have the Beth property
Information Processing Letters
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Model Checking and Artificial Intelligence
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence
From Hilbert's program to a logic tool box
Annals of Mathematics and Artificial Intelligence
The Shadow Knows: Refinement and security in sequential programs
Science of Computer Programming
Verification of authentication protocols for epistemic goals via SAT compilation
Journal of Computer Science and Technology
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Rational play and rational beliefs under uncertainty
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Abstraction in model checking multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards an Agent Based Approach for Verification of OWL-S Process Models
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Agreement theorems in dynamic-epistemic logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
An epistemic characterization of zero knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Conversational Interactions among Rational Agents
Proceedings of the 2005 conference on Towards the Learning Grid: Advances in Human Learning Services
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Formalising the 'No Information without Data-representation' Principle
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
On the Multimodal Logic of Elementary Normative Systems
Proceedings of the 2007 conference on Artificial Intelligence Research and Development
Knowing Minimum/Maximum n Formulae
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Logic for Complete Information Systems
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Knowledge, Time, and Logical Omniscience
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Epistemic Logic for the Applied Pi Calculus
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Priority Scheduling of Distributed Systems Based on Model Checking
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Model checking temporal logics of knowledge in distributed systems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Learning of agents with limited resources
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Model-checking memory requirements of resource-bounded reasoners
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Modeling Agents' Knowledge in Collective Evolutionary Systems
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part I
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
Knowledge forgetting: Properties and applications
Artificial Intelligence
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic (TOCL)
Easy Yet Hard: Model Checking Strategies of Agents
Computational Logic in Multi-Agent Systems
Observation-based model for BDI-agents
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A particle filtering based approach to approximating interactive POMDPs
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A modal logic for beliefs and pro attitudes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Factored models for probabilistic modal logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An extended interpreted system model for epistemic logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Partial-order planning with concurrent interacting actions
Journal of Artificial Intelligence Research
Decentralized supply chain formation: a market protocol and competitive equilibrium analysis
Journal of Artificial Intelligence Research
A framework for sequential planning in multi-agent settings
Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
Monte Carlo sampling methods for approximating interactive POMDPs
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Automatic verification of knowledge and time with NuSMV
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Knowledge considerations in robotics and distribution of robotic tasks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Belief, awareness, and two-dimensional logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An epistemic logic for arbitration
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
On the semantics of knowledge update
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Computationally grounded model of BDI-agents
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A framework for communication planning on mobile devices
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A modal logic for reasoning about possibilistic belief fusion
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Towards action prediction using a mental-level model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
Knowledge updates: Semantics and complexity issues
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Semantic model design for veins' loop by the logic formalism of artificial intelligence
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
Computing with common knowledge
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Temporal reasoning system for the digital theater library
IMSA '07 Proceedings of the Eleventh IASTED International Conference on Internet and Multimedia Systems and Applications
Which semantics for neighbourhood semantics?
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A symmetry reduction technique for model checking temporal-epistemic logic
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Semantics and logic for security protocols
Journal of Computer Security
International Journal of Advanced Intelligence Paradigms
Believe it or not: adding belief annotations to databases
Proceedings of the VLDB Endowment
Describing Evolutions of Multi-Agent Systems
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
A Knowledge Based Formal Language for Securing Information Systems
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Knowledge and Structure in Social Algorithms
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
An Optimal Self-stabilizing Firing Squad
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Hypotheses about Typical General Human Strategic Behavior in a Concrete Case
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Can Moral Hazard Be Resolved by Common-Knowledge in S4n-Knowledge?
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Bounded Model Checking for Deontic Interpreted Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
On Epistemic Temporal Strategic Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
The Algebra of Multi-Agent Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Semantic email: theory and applications
Web Semantics: Science, Services and Agents on the World Wide Web
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Knowledge-Based Systems
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
A sketch of a dynamic epistemic semiring
Information and Computation
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A logic for authorization provenance
ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A complete probabilistic belief logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Representing and verifying temporal epistemic properties in multi-agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Well-structured model checking of multiagent systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Core equivalence in economy for modal logic
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Demonstratives, reference, and perception
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Model checking on trees with path equivalences
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Perceiving environments for intelligent agents
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
A multi-agent modal language for concurrency with non-communicating agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Calibrating collective commitments
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
From social agents to multi-agent systems: preliminary report
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Historical and computational aspects of paraconsistency in view of the logic foundation of databases
Proceedings of the 2nd international conference on Semantics in databases
QBF-based symbolic model checking for knowledge and time
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Confidentiality policies for controlled query evaluation
Proceedings of the 21st annual IFIP WG 11.3 working conference on Data and applications security
Coalgebraic epistemic update without change of model
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Three interactions between context and epistemic locutions
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
A verification framework for agent knowledge
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Timed calculus of cryptographic communication
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Symbolic model checking temporal logics of knowledge in multi-agent system via extended Mu-calculus
LSMS'07 Proceedings of the Life system modeling and simulation 2007 international conference on Bio-Inspired computational intelligence and applications
Toward perception based computing: a rough-granular perspective
WImBI'06 Proceedings of the 1st WICI international conference on Web intelligence meets brain informatics
Completeness and decidability in sequence logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Operational and epistemic approaches to protocol analysis: bridging the gap
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A common framework for rough sets, databases, and Bayesian networks
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Verification of epistemic properties in probabilistic multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Towards a verification framework for communicating rational agents
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Axiomatization and completeness of lexicographic products of modal logics
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Taming the complexity of temporal epistemic reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Can doxastic agents learn? on the temporal structure of learning
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Agreement theorems in dynamic-epistemic logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Strategy elimination in games with interaction structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Distributed BDD-based BMC for the verification of multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Model checking detectability of attacks in multiagent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Modeling recursive reasoning by humans using empirically informed interactive POMDPs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Improved bounded model checking for a fair branching-time temporal epistemic logic
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Logic of information flow on communication channels
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Using deductive knowledge to improve cryptographic protocol verification
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Journal of Logic, Language and Information
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Modeling the problem of many hands in organisations
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Parallel Model Checking for Temporal Epistemic Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
On the foundations of qualitative decision theory
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Using multi-agent systems to represent uncertainty
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Analyzing agents that learn about agents
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Journal of the ACM (JACM)
Multi-agent logic with distances based on linear temporal frames
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Knowledge based scheduling of distributed systems
Time for verification
A runs-and-systems semantics for logics of announcements
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Bridges between dynamic doxastic and doxastic temporal logics
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Parameterized modal satisfiability
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Completeness for generalized first-order LTL
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Does treewidth help in modal satisfiability?
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
The use of artificially intelligent agents with bounded rationality in the study of economic markets
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A semantic characterization of an algorithm for estimating others' beliefs from observation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Contextual reasoning is NP-complete
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Group announcements: logic and games
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A proof system for time-dependent multi-agents
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Moral hazard resolved by common-knowledge in S5n logic
ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part II
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
Decentralized runtime analysis of multithreaded applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Dynamic predicate logic of dependent questions and answers
JSAI'03/JSAI04 Proceedings of the 2003 and 2004 international conference on New frontiers in artificial intelligence
Methods for knowledge based controlling of distributed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
A belief structure for reasoning about knowledge
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
Relentful strategic reasoning in alternating-time temporal logic
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
A methodology for automatic diagnosability analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Becoming aware of propositional variables
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Classical Knowledge for Quantum Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Correlated Information: A Logic for Multi-Partite Quantum Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite identification from the viewpoint of epistemic update
Information and Computation
Learning in a changing world, an algebraic modal logical approach
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Abstraction for model checking multi-agent systems
Frontiers of Computer Science in China
Synchronizing Diachronic Uncertainty
Journal of Logic, Language and Information
Logics for information systems and their dynamic extensions
ACM Transactions on Computational Logic (TOCL)
Solution to Exchanges 8.1 puzzle: identifying the champion
ACM SIGecom Exchanges
Fields of logic and computation
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Logic of information flow on communication channels
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Perfect recall of imperfect knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The synchronicity of dynamic epistemic logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Symbolic model checking of probabilistic knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Generalized arrow update logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Abstraction for epistemic model checking of dining cryptographers-based protocols
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
A note on a generalization of the Muddy Children puzzle
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
On representing actions in multi-agent domains
Logic programming, knowledge representation, and nonmonotonic reasoning
A Hybrid Public Announcement Logic with Distributed Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic data-abstraction in model checking multi-agent systems
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Improved bounded model checking for a fair branching-time temporal epistemic logic
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Symbolic model checking the knowledge in Herbivore protocol
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Dynamic epistemic algebra with post-conditions to reason about robot navigation
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
Transactions on Data Privacy
Monitoring distributed systems using knowledge
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Combined logics of knowledge, time, and actions for reasoning about multi-agent systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Model checking epistemic and probabilistic properties of multi-agent systems
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about local properties in modal logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Boolean modal logic wK4Dyn: doxastic interpretation
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Synthesis of distributed control through knowledge accumulation
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Intention change via local assignments
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Verified synthesis of knowledge-based programs in finite synchronous environments
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Annals of Mathematics and Artificial Intelligence
ESORICS'11 Proceedings of the 16th European conference on Research in computer security
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Data extrapolation and decision making via method of Hurwitz-Radon matrices
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Moral hazard resolved in communication for S4n-logic: cyclic communication network case
GAVTASC'11 Proceedings of the 11th WSEAS international conference on Signal processing, computational geometry and artificial vision, and Proceedings of the 11th WSEAS international conference on Systems theory and scientific computation
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
On the definability of simulability and bisimilarity by finite epistemic models
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Formal language constrained reachability and model checking propositional dynamic logics
RP'11 Proceedings of the 5th international conference on Reachability problems
Autodoxastic conditional reasoning: the monotonic case
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Knowledge and action in semi-public environments
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Seeing, knowledge and common knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An epistemic logic with hypotheses
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Public announcement logic with distributed knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
The BMC method for the existential part of RTCTLK and interleaved interpreted systems
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
An Epistemic Predicate CTL* for Finite Control π-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
On stable multi-agent behavior in face of uncertainty
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Communication in awareness reaching consensus without acyclic condition II
CIS'04 Proceedings of the First international conference on Computational and Information Science
A protocol's life after attacks...
Proceedings of the 11th international conference on Security Protocols
Verifying real-time temporal, cooperation and epistemic properties for uncertain agents
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Priority scheduling of distributed systems based on model checking
Formal Methods in System Design
Partial knowledge in membrane systems: a logical approach
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Anti-prenexing and prenexing for modal logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Single-Bit messages are insufficient in the presence of duplication
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Model checking temporal logics of knowledge and its application in security verification
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Model checking for PRS-like agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Model checking sum and product
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Analysing user confusion in context aware mobile applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
A complete first-order temporal BDI logic for forest multi-agent systems
Knowledge-Based Systems
Epistemic actions and ontic actions: a unified logical framework
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model checking for epistemic and temporal properties of uncertain agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Observation-Based logic of knowledge, belief, desire and intention
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Satisfiability judgement under incomplete information
Transactions on Rough Sets XI
An ontology-based first-order modal logic
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Ordered belief fusion in possibilistic logic
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Description of fuzzy first-order modal logic based on constant domain semantics
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Bisimulation quantified logics: undecidability
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Reasoning about quantum knowledge
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Making contextual intensional logic nonmonotonic
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Analyzing conflicts with concept-based learning
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
A protocol for a distributed recommender system
Trusting Agents for Trusting Electronic Societies
Some representation and computational issues in social choice
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Algebras as knowledge structures
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Verifying multi-agent systems via unbounded model checking
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Towards symbolic model checking for multi-agent systems via OBDD's
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Anticipatory agents based on anticipatory reasoning
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Global modal logics for multiagent systems: a logical fibering approach
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Non-alethic reasoning in distributed systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
The topological effect of improving knowledge acquisition
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Forming proactive team cooperation by observations
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Engineering stable multi-agent systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A combined system for update logic and belief revision
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
The distributed weighing problem: a lesson in cooperation without communication
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
The logic of risky knowledge, reprised
International Journal of Approximate Reasoning
A complete and decidable axiomatisation for deontic interpreted systems
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Towards an epistemic logic of concepts
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Labeled @-calculus: formalism for time-concerned human factors
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Epistemic temporal logic for information flow security
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security
Efficiency of optimistic fair exchange using trusted devices
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
The shadow knows: refinement of ignorance in sequential programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Verification of multi-agent systems via bounded model checking
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
The complexity of model checking concurrent programs against CTLK specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A fibred tableau calculus for modal logics of agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Optimal tableau algorithms for coalgebraic logics
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Speech and gesture recognition-based robust language processing interface in noise environment
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
There is a reason for everything (probably): on the application of maxent to induction
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Opacity generalised to transition systems
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Decision procedure for a fragment of mutual belief logic with quantified agent variables
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
A logic for knowledge flow in social networks
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
On the interactions of awareness and certainty
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Model checking information flow in reactive systems
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Visual language and graph-based structures in conceptual design
Advanced Engineering Informatics
Achieving distributed control through model checking
Formal Methods in System Design
Distributed iterated elimination of strictly dominated strategies
Autonomous Agents and Multi-Agent Systems
3LeGE-WG'03 Proceedings of the 3rd international LeGE-WG conference on GRID Infrastructure to Support Future Technology Enhanced Learning
Moral hazard resolved by common-knowledge in principal-agent model
International Journal of Intelligent Information and Database Systems
Modeling the dynamics of transferable obligations in business procedures
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Local properties in modal logic
Artificial Intelligence
Book review: The Logic of Knowledge Bases
Artificial Intelligence in Medicine
Medical privacy protection based on granular computing
Artificial Intelligence in Medicine
Automated model repair for distributed programs
ACM SIGACT News
Model checking knowledge in pursuit evasion games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A computationally-grounded semantics for artifact-centric systems and abstraction results
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Succinctness of epistemic languages
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning about fuzzy belief and common belief: with emphasis on incomparable beliefs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A dynamic logic for privacy compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Analyzing multi-agent systems with probabilistic model checking approach
Proceedings of the 34th International Conference on Software Engineering
Studia Logica
An Optimal Self-Stabilizing Firing Squad
SIAM Journal on Computing
Games, Actions and Social Software
Games, Actions and Social Software
Games, Actions and Social Software
Agents in approximate environments
Games, Actions and Social Software
Games, Actions and Social Software
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action
Exponential acceleration of model checking for perfect recall systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Bounded model checking for the existential part of real-time CTL and knowledge
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Group synthesis for parametric temporal-epistemic logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of emotions: from appraisal to coping
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Automatic verification of epistemic specifications under convergent equational theories
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
SAT-Based bounded model checking for deontic interleaved interpreted systems
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Two approaches to bounded model checking for linear time logic with knowledge
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Caprice: a tool for engineering adaptive privacy
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Fundamenta Informaticae - Logic, Language, Information and Computation
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
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
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Epistemic Strategies and Games on Concurrent Processes
ACM Transactions on Computational Logic (TOCL)
First steps towards a context aware ontology-driven reporting system
Proceedings of the 8th International Conference on Semantic Systems
Abstraction for model checking modular interpreted systems over ATL
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Correct Reasoning
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Distributed knowledge with justifications
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Epistemic logic, relevant alternatives, and the dynamics of context
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Modeling semantic competence: a critical review of frege's puzzle about identity
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae
A Logic for Reasoning about Persuasion
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
LDYIS: a Framework for Model Checking Security Protocols
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
VerICS 2007 - a Model Checker for Knowledge and Real-Time
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Knowledge-Based distributed conflict resolution for multiparty interactions and priorities
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Verification of the TESLA protocol in MCMAS-X
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Reasoning about time-dependent multi-agents: foundations of theorem proving and model checking
Transactions on Compuational Collective Intelligence VI
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Undecidability of a Multi-Agent Logic
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Fundamenta Informaticae
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees
Fundamenta Informaticae
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Modal description logics: modalizing roles
Fundamenta Informaticae
Public Announcement Logic in Geometric Frameworks
Fundamenta Informaticae
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A PDL-like logic of knowledge acquisition
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
What, indeed, is intransitive noninterference?
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
New visual languages supporting design of multi-storey buildings
Advanced Engineering Informatics
Avoiding shared clocks in networks of timed automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Programming and Computing Software
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
The Anonymous Subgraph Problem
Computers and Operations Research
International Journal of Intelligent Information Technologies
Automatic behavior composition synthesis
Artificial Intelligence
Journal of Artificial Intelligence Research
Model checking agent knowledge in dynamic access control policies
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On the succinctness of some modal logics
Artificial Intelligence
Interpreted systems semantics for process algebra with identity annotations
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
A modal logic for information system security
AISC '11 Proceedings of the Ninth Australasian Information Security Conference - Volume 116
Collaborative data-driven workflows: think global, act local
Proceedings of the 32nd symposium on Principles of database systems
Information flow in systems with schedulers, Part II: Refinement
Theoretical Computer Science
A logic of probabilistic knowledge and strategy
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Diagnosability in concurrent probabilistic systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Bounded planning for strategic goals with incomplete information and perfect recall
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Representing and reasoning about communicative conditional commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Engineering adaptive privacy: on the role of privacy awareness requirements
Proceedings of the 2013 International Conference on Software Engineering
Dependent Type Theory for Verification of Information Flow and Access Control Policies
ACM Transactions on Programming Languages and Systems (TOPLAS)
Does Treewidth Help in Modal Satisfiability?
ACM Transactions on Computational Logic (TOCL)
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Belief semantics of authorization logic
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Combined model checking for temporal, probabilistic, and real-time logics
Theoretical Computer Science
ACM Transactions on Computational Logic (TOCL)
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Sequential equilibrium in computational games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verifiable equilibria in boolean games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An epistemic Halpern-Shoham logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An alternative axiomatization of DEL and its applications
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Knowing that, knowing what, and public communication: public announcement logic with Kv operators
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Multi-agent subset space logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Language-based games (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inverse Images of Box Formulas in Modal Logic
Studia Logica
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Electronic Notes in Theoretical Computer Science (ENTCS)
Autonomous Agents and Multi-Agent Systems
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
A logic for reasoning about ambiguity
Artificial Intelligence
Free Quantified Epistemic Logics
Studia Logica
Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Journal of Computer Security - CSF 2010
Hi-index | 0.04 |