The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Journal of Logic, Language and Information
Editorial: Modal Logic and Dynamic Semantics
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Ambiguous Discourse in a Compositional Context. An Operational Perspective
Journal of Logic, Language and Information
Talking about Trees and Truth-Conditions
Journal of Logic, Language and Information
Extensive Games as Process Models
Journal of Logic, Language and Information
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
A Tableau Calculus for Pronoun Resolution
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
What Du You Mean by "What Du You Mean"?
TDS '00 Proceedings of the Third International Workshop on Text, Speech and Dialogue
A Roadmap of Epistemic Logics for Learning Agents
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Logic and the Dynamics of Information
Minds and Machines
Bisimulation and language equivalence
Logic for concurrency and synchronisation
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Guards, Bounds, and Generalized Semantics
Journal of Logic, Language and Information
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Computer science and game theory
Communications of the ACM - Designing games with a purpose
Continuous Fragment of the mu-Calculus
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Fusion and mining spatial data in cyber-physical space with dynamic logic of phenomena
IJCNN'09 Proceedings of the 2009 international joint conference on Neural Networks
Dynamic contextual intensional logic: logical foundations and an application
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Modal fixed-point logic and changing models
Pillars of computer science
Frame definability for classes of trees in the µ-calculus
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
McCarthy variations in a modal key
Artificial Intelligence
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Mathematics of public announcements
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An update semantics for defeasible obligations
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Annotating structural constraints in discourse corpora
TSD'05 Proceedings of the 8th international conference on Text, Speech and Dialogue
The expressive power of restricted fragments of english
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Logic between expressivity and complexity
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Journal of Logic, Language and Information
A Proof System for Dependencies for Information Relations
Fundamenta Informaticae
Annals of Mathematics and Artificial Intelligence
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The Dynamification of Modal Dependence Logic
Journal of Logic, Language and Information
Hi-index | 0.00 |