Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deriving programs using generic algorithms
IBM Systems Journal
A formal basis for schema analysis of semantic database update semantics
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Formal Justification of a Proof System for Communicating Sequential Processes
Journal of the ACM (JACM)
Effective Axiomatizations of Hoare Logics
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressing interesting properties of programs in propositional temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Reasoning about nonatomic operations
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Propositional logics of programs: systems, models, and complexity
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A dynamic logic of multiprocessing with incomplete information
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logic for expressions with side-effects
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On effective axiomatizations of Hoare logics
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Axiomatic definability and completeness for recursive programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal data base specification: an eclectic perspective
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Route generation and description using a logical and an analogical framework
Annals of Mathematics and Artificial Intelligence
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Formal System Development with KIV
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Intention and Rationality for PRS-Like Agents
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Method for Secure Smartcard Applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Programming Logic for Part of the Agent Language 3APL
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
From CASE to CARE (Computer-Aided Requirements Engineering)
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Decidable Navigation Logics for Object Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A propositional policy algebra for access control
ACM Transactions on Information and System Security (TISSEC)
A good Hoare axiom system for an ALGOL-like language
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Functional specification of synchronized processes based on modal logic
ICSE '82 Proceedings of the 6th international conference on Software engineering
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Performatives in a rationally based speech act theory
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Counterfactuals and updates as inverse modalities: preliminary version
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Fundamenta Informaticae - Deontic Logic in Computer Science
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Propositional Dynamic Logic for Recursive Procedures
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
On the Completeness of Dynamic Logic
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Journal of Artificial Intelligence Research
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A new logical framework for deductive planning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Modal propositional semantics for reason maintenance systems
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Parallel first-order dynamic logic and its expressiveness and axiomatization
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Modular architecture of the microfactories for automatic micro-assembly
Robotics and Computer-Integrated Manufacturing
Imperatives as obligatory and permitted actions
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Reasoning in dynamic logic about program termination
Pillars of computer science
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Model correspondence as a basis for schema domination
Knowledge-Based Systems
6th international workshop on logic and engineering of natural language semantics (LENLS 6)
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Toward a semantics for an agent communications language based on speech0-acts
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking
Proceedings of the 2011 workshop on Organic computing
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Model checking for PRS-like agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Dynamic logic with non-rigid functions: a basis for object-oriented program verification
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
An analysis of three puzzles in the logic of intention
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Improving the usability of specification languages and methods for annotation-based verification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Playing hybrid games with keymaera
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Logical analysis of hybrid systems: a complete answer to a complexity challenge
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Verification of information flow properties of java programs without approximations
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
First-Order dynamic logic for compensable processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Fundamenta Informaticae - Deontic Logic in Computer Science
A Fixed-point Characterization of a Deontic Logic of Regular Action
Fundamenta Informaticae - Deontic Logic in Computer Science
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic
Fundamenta Informaticae
A Lewisian Logic of Causal Counterfactuals
Minds and Machines
Local Reasoning for Global Invariants, Part I: Region Logic
Journal of the ACM (JACM)
Public announcements under sheaves
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.01 |