ACM Transactions on Programming Languages and Systems (TOPLAS)
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Engaging students with theory through ACM collegiate programming contest
Communications of the ACM
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Journal of Logic, Language and Information
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Techniques for Java Programs
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
On Expressive and Model Checking Power of Propositional Program Logics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
From Programs to Games: Invariance and Safety for Bisimulation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Synchronized Product of Linear Bounded Machines
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Reasoning in expressive description logics
Handbook of automated reasoning
Handbook of automated reasoning
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The description logic handbook
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Encyclopedia of Computer Science
Tools for composite web services: a short overview
ACM SIGMOD Record
Proving Correctness of JavaCard DL Taclets using Bali
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Path constraints in semistructured data
Theoretical Computer Science
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Methodical Construction of Symbolic Diagrams
SBIA '08 Proceedings of the 19th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Model Checking for Hybrid Logic
Journal of Logic, Language and Information
Ontology-based modelling of architectural styles
Information and Software Technology
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Well-structured model checking of multiagent systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Observations on cognitive judgments
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Combined logics of knowledge, time, and actions for reasoning about multi-agent systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Clausal Tableaux for Hybrid PDL
Electronic Notes in Theoretical Computer Science (ENTCS)
Second-order principles in specification languages for object-oriented programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Exponential acceleration of model checking for perfect recall systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Behavior based service composition
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Update and Abstraction in Model Checking of Knowledge and Branching Time
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Programming and Computing Software
| Hi-index | 0.03 |