Half-order modal logic: how to prove real-time properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Knowledge representing schemes for planning
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Adding time to a logic of authentication
CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A Formal Language for Cryptographic Protocol Requirements
Designs, Codes and Cryptography - Special issue dedicated to Gustavus J. Simmons
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Formalizing GDOI group key management requirements in NPATRL
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Iterated belief change in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
One Connection between Standard Invariance Conditions on ModalFormulas and Generalized Quantifiers
Journal of Logic, Language and Information
Merging structured text using temporal knowledge
Data & Knowledge Engineering
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Journal of Logic, Language and Information
Counterfactuals and Updates as Inverse Modalities
Journal of Logic, Language and Information
Reasoning about Information Change
Journal of Logic, Language and Information
An Equational Axiomatization of Dynamic Negation and Relational Composition
Journal of Logic, Language and Information
Linear, Branching Time and Joint ClosureSemantics for Temporal Logic
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Machine-Checking the Timed Interval Calculus
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Classification Scheme for Negotiation in Electronic Commerce
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Specifying the Processes and States of Negotiation
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Separating Sets by Modal Formulas
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
CardS4: Modal Theorem Proving on Java Smartcards
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Modelling Change with the Aid of Knowledge and Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
A Formal Description of a Practical Agent for E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Concurrent dynamic epistemic logic for MAS
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
Modal logics for finite graphs
Logic for concurrency and synchronisation
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
ε-connections of abstract description systems
Artificial Intelligence
A First Step Towards Formal Verification of Security Policy Properties for RBAC
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Counterfactuals and updates as inverse modalities: preliminary version
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Characterizing distributed systems using knowledge-based models: preliminary version
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
A logical approach to multilevel security of probabilistic systems
Distributed Computing
Journal of Computer Security - Special issue on ACM conference on computer and communications security, 2001
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
Formal specification of role-based security policies for clinical information systems
Proceedings of the 2005 ACM symposium on Applied computing
A dynamic logic formalisation of the dialogue gameboard
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 2
On the logic of cooperation and propositional control
Artificial Intelligence
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
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
A model-checking approach to analysing organisational controls in a loan origination process
Proceedings of the eleventh ACM symposium on Access control models and technologies
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Fragment of Intuitionistic Dynamic Logic
Fundamenta Informaticae
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
The axiomatic translation principle for modal logic
ACM Transactions on Computational Logic (TOCL)
Joint conversation specification and compliance
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
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Model Checking and Preprocessing
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
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
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
Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS
Languages, Methodologies and Development Tools for Multi-Agent Systems
Logic of Discovery and Knowledge: Decision Algorithm
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Logic of Discovery in Uncertain Situations--- Deciding Algorithms
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
An Imperative Account of Actions
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Strong Completeness and Limited Canonicity for PDL
Journal of Logic, Language and Information
Model-driven business process security requirement specification
Journal of Systems Architecture: the EUROMICRO Journal
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Automated deduction for verification
ACM Computing Surveys (CSUR)
Algebraic Properties of Generalized Rough Sets
Fundamenta Informaticae
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the logic of cooperation and propositional control
Artificial Intelligence
Semantics and logic for security protocols
Journal of Computer Security
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
International Journal of Advanced Intelligence Paradigms
Proving VLRL Action Properties with the Maude Model Checker
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic of discovery and knowledge: decision algorithm
Intelligent Decision Technologies
Electronic Notes in Theoretical Computer Science (ENTCS)
Monad-independent Hoare logic in HasCasl
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Joint conversation specification and compliance
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Electronic Notes in Theoretical Computer Science (ENTCS)
Structures with Multirelations, their Discrete Dualities and Applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Rules admissible in transitive temporal logic TS4, sufficient condition
Theoretical Computer Science
Multi-agent belief revision with linked preferences
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Reasoning and inference rules in basic linear temporal logic BLTL
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Combining logics in simple type theory
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
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
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Relating truth, knowledge and belief in epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence
Linear temporal logic with until and before on integer numbers, deciding algorithms
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Defining agents via strategies: towards a view of MAS as games
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Logic determined by boolean algebras with conjugate
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Algebraic approach to generalized rough sets
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
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
Local properties in modal logic
Artificial Intelligence
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
A Fragment of Intuitionistic Dynamic Logic
Fundamenta Informaticae
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |