Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Hardware Semantics Based on Temporal Intervals
Proceedings of the 10th Colloquium on Automata, Languages and Programming
A Low Level Language for Obtaining Decision Procedure for Classes of temporal Logics
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Reasoning about digital circuits
Reasoning about digital circuits
The logic of time representation
The logic of time representation
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A spatial match representation scheme for indexing and querying in iconic image databases
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Decision making and plan management by autonomous agents: theory, implementation and applications
AGENTS '97 Proceedings of the first international conference on Autonomous agents
A data model and a query language for multimedia documents databases
Multimedia Systems
Spatial match representation scheme supporting ranking in iconic images databases
Proceedings of the eighth international conference on Information and knowledge management
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Artificial Intelligence Review
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Reified Temporal Logics: An Overview
Artificial Intelligence Review
A Three-Dimensional Iconic Environment for Image Database Querying
IEEE Transactions on Software Engineering
Automated Proof Support for Interval Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Spatial-Match Iconic Image Retrieval with Ranking in Multimedia Databases
WAIM '01 Proceedings of the Second International Conference on Advances in Web-Age Information Management
Sharpening the Undecidability of Interval Temporal Logic
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
The description logic handbook
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
ε-connections of abstract description systems
Artificial Intelligence
Interval Relations in Lexical Semantics of Verbs
Artificial Intelligence Review
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Temporal prepositions and their logic
Artificial Intelligence
Decidability of a Hybrid Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Journal of Logic, Language and Information
Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Back to Interval Temporal Logics
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Electronic Notes in Theoretical Computer Science (ENTCS)
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part II: Bioinspired Applications in Artificial and Natural Computation
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Temporal prepositions and their logic
Artificial Intelligence
An optimal Tableau-based decision algorithm for propositional neighborhood logic
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Completeness of neighbourhood logic
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A theory of duration calculus with application
Domain modeling and the duration calculus
Completeness and decidability in sequence logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
B and D are enough to make the Halpern-Shoham logic undecidable
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
An Event-Based Fragment of First-Order Logic over Intervals
Journal of Logic, Language and Information
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Two-sorted Point-Interval Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A tableau-based decision procedure for right propositional neighborhood logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
TIWTE '11 Proceedings of the TextInfer 2011 Workshop on Textual Entailment
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The importance of the past in interval temporal logics: the case of propositional neighborhood logic
Logic Programs, Norms and Action
Axiomatizations Of Interval Logics
Fundamenta Informaticae
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Theoretical Computer Science
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
An epistemic Halpern-Shoham logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.01 |