Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
Counterfactuals and Updates as Inverse Modalities
Journal of Logic, Language and Information
Guarded fixed point logics and the monadic theory of countable trees
Theoretical Computer Science - Complexity and logic
On Concurrent Realization of Reactive Systems and Their Morphisms
Unifying Petri Nets, Advances in Petri Nets
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Indexed rough approximations, a polymodal system, and generalized possibility measures
Data mining, rough sets and granular computing
Abductive reasoning with recurrent neural networks
Neural Networks - 2003 Special issue: Advances in neural networks research IJCNN'03
An algorithmic approach to knowledge evolution
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A modal characterization of Nash equilibrium
Fundamenta Informaticae
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Counterfactuals and updates as inverse modalities: preliminary version
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A Fragment of Intuitionistic Dynamic Logic
Fundamenta Informaticae
Metatheory of actions: Beyond consistency
Artificial Intelligence
Elaborating domain descriptions
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 reasoning about upper probabilities
Journal of Artificial Intelligence Research
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
A Mathematical Model of Dialog
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-structured decision rules in object-oriented rough set models for Kansei engineering
RSKT'07 Proceedings of the 2nd international conference on Rough sets and knowledge technology
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Journal of Artificial Intelligence Research
A categorical outlook on relational modalities and simulations
Information and Computation
A logic for reasoning about upper probabilities
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
A finite model construction for coalgebraic modal logic
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A method of generating decision rules in object–oriented rough set models
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Fibred BDI logics: completeness preservation in the presence of interaction axioms
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Extending a logic-based retrieval model with algebraic knowledge
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
The QMLTP problem library for first-order modal logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
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
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 0.00 |