Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Undivided and Indistinguishable Histories in Branching-Time Logics
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Naming Worlds in Modal and Temporal Logic
Journal of Logic, Language and Information
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Evolutionary modelling of software systems: its application to agent-based and hypermedia systems
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
Temporal Semantic Assumptions and Their Use in Databases
IEEE Transactions on Knowledge and Data Engineering
ACM Transactions on Computational Logic (TOCL)
LTL is expressively complete for Mazurkiewicz traces
Journal of Computer and System Sciences
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Linear Temporal Logic and Finite Semigroups
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
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
Model checking: a tutorial overview
Modeling and verification of parallel processes
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation - Special issue: LICS'97
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Handbook of automated reasoning
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
An architecture for dynamic and evolving cooperative software agents
Computer Standards & Interfaces - Special issue: Adaptable software architectures
A multi-level abstraction and modeling in video databases
Multimedia Systems - Special section on video libraries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
The description logic handbook
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
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
Time, tense and aspect in natural language database interfaces
Natural Language Engineering
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
ε-connections of abstract description systems
Artificial Intelligence
Introduction to the special issue on temporal information processing
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
A framework for resolution of time in natural language
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Conditional XPath, the first order complete XPath dialect
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Temporal logics for normative agent communication protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Timer formulas and decidable metric temporal logic
Information and Computation
Information and Computation
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
BTL2 and the expressive power of ECTL+
Information and Computation
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
LTL Over integer periodicity constraints
Theoretical Computer Science
Merging news reports that describe events
Data & Knowledge Engineering
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
Journal of Biomedical Informatics
A Hybridization of Irreflexive Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
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
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
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
Temporalising Logics: Fifteen Years After
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Description of Temporal Constraints Using Semantic Web in Role-Based Access Control
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Temporal Qualification and Change with First--Order Binary Predicates
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
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
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic optimal control of multiple depot vehicle routing problem with metric temporal logic
ACC'09 Proceedings of the 2009 conference on American Control Conference
Synthesising Features by Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
On first-order fragments for words and Mazurkiewicz traces: a survey
DLT'07 Proceedings of the 11th international conference on Developments in language theory
The complexity of temporal logic with until and since over ordinals
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Rules admissible in transitive temporal logic TS4, sufficient condition
Theoretical Computer Science
Interpretation of chance discovery in temporal logic, admissible inference rules
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Chance discovery and unification in linear modal logic
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
States, transitions, and life tracks in temporal concept analysis
Formal Concept Analysis
Anticipatory agents based on anticipatory reasoning
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A probabilistic temporal logic that can model reasoning about evidence
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Turing machine representation in temporal concept analysis
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Branching-time logic programming: the language Cactus and its applications
Computer Languages
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Effective characterizations of simple fragments of temporal logic using prophetic automata
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
On the expressive power of cost logics over infinite words
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
On First-Order Fragments for Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
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
A finite basis for ‘almost future' temporal logic over the reals
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
Invariant-Free Clausal Temporal Resolution
Journal of Automated Reasoning
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Expressive Completeness for Metric Temporal Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
The Complexity of Model Checking Multi-stack Systems
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
The formal REA model at the operational level
Applied Ontology
Hi-index | 0.00 |