What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
An infinite hierarchy of temporal logics over branching time
Information and Computation
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
Silicon Debug of a PowerPC™ Microprocessor Using Model Checking
Formal Methods in System Design
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Why so Many Temporal Logics Climb up the Trees?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
I-Search: A System for Intelligent Information Search on the Web
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Enforcing behavior with contracts
Programming methodology
Analyzing a PowerPC" 620 Microprocessor Silicon Failure using Model Checking
ITC '97 Proceedings of the 1997 IEEE International Test Conference
The description logic handbook
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
A clausal resolution method for branching-time logic ECTL+
Annals of Mathematics and Artificial Intelligence
BTL2 and the expressive power of ECTL+
Information and Computation
Model Checking Dynamic Memory Allocation in Operating Systems
Journal of Automated Reasoning
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Finite-state verification of the ebXML protocol
Electronic Commerce Research and Applications
Formal modeling of dynamic environments for real-time agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Model checking in the modal µ-calculus and generic solutions
Journal of Symbolic Computation
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
Lenient evaluation is neither strict nor lazy
Computer Languages
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |