Abstract
No abstract available.
Cited By
- Kuiter E, Knüppel A, Bordis T, Runge T and Schaefer I Verification Strategies for Feature-Oriented Software Product Lines Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, (1-9)
- Lazcano V and Calderero F Reconfigurable Hybrid Model Convolutional Stage – Infinity Laplacian Applied to Depth Completion 2021 4th Artificial Intelligence and Cloud Computing Conference, (108-114)
- Kabanda G Anchoring AI/Machine Learning on the African Technological Innovation and Investment Table 3rd Africa-Asia Dialogue Network (AADN) International Conference on Advances in Business Management and Electronic Commerce Research, (18-37)
- N. Rebelo J, M. Rebelo S and Rebelo A Algorithmic Experiments in the Design of Brutalist Web Pages 10th International Conference on Digital and Interactive Arts, (1-4)
- Liang Z, Hu H and Zhu J LPF: A Language-Prior Feedback Objective Function for De-biased Visual Question Answering Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, (1955-1959)
- Zhang W, Li Z and Guo Y Leveraging Different Context for Response Generation through Topic-guided Multi-head Attention 2020 3rd International Conference on Algorithms, Computing and Artificial Intelligence, (1-6)
- O'Hearn P (2019). Incorrectness logic, Proceedings of the ACM on Programming Languages, 4:POPL, (1-32), Online publication date: 1-Jan-2020.
- Bharadhwaj H and Srivastava N New Tab Page Recommendations Strongly Concentrate Web Browsing to Familiar Sources Proceedings of the 10th ACM Conference on Web Science, (7-16)
- Maier D, Tekle K, Kifer M and Warren D Datalog Declarative Logic Programming, (3-100)
- Paletti A How to plan an organisational strategy to manage ICTs mediated co-production Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, (1-6)
- Neutens T and Wyffels F Bringing Computer Science Education to Secondary School Proceedings of the 49th ACM Technical Symposium on Computer Science Education, (840-845)
- (2016). A formalization of programs in first-order logic with a discrete linear order, Artificial Intelligence, 235:C, (1-25), Online publication date: 1-Jun-2016.
- Mitsch S, Platzer A, Retschitzegger W and Schwinger W (2015). Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems, ACM Computing Surveys, 48:1, (1-40), Online publication date: 29-Sep-2015.
- Lin F A formalization of programs in first-order logic with a discrete linear order Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (338-347)
- Knorr M, Gabaldon A, Gonçalves R, Leite J and Slota M Time Is Up! --- Norms with Deadlines in Action Languages Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 8143, (223-238)
- Banerjee A, Naumann D and Rosenberg S (2013). Local Reasoning for Global Invariants, Part I, Journal of the ACM, 60:3, (1-56), Online publication date: 1-Jun-2013.
- Quesel J and Platzer A Playing hybrid games with keymaera Proceedings of the 6th international joint conference on Automated Reasoning, (439-453)
- Guttmann W Unifying correctness statements Proceedings of the 11th international conference on Mathematics of Program Construction, (198-219)
- Bruni R, Ferreira C and Kersten Kauer A First-Order dynamic logic for compensable processes Proceedings of the 14th international conference on Coordination Models and Languages, (104-121)
- Doherty P, Kvarnström J and Szałas A Temporal composite actions with constraints Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, (478-488)
- Scheben C and Schmitt P Verification of information flow properties of java programs without approximations Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software, (232-249)
- Fischer P, Nafz F, Seebach H and Reif W Ensuring correct self-reconfiguration in safety-critical applications by verified result checking Proceedings of the 2011 workshop on Organic computing, (3-12)
- Beckert B, Bormer T and Klebanov V Improving the usability of specification languages and methods for annotation-based verification Proceedings of the 9th international conference on Formal Methods for Components and Objects, (61-79)
- Bekki D 6th international workshop on logic and engineering of natural language semantics (LENLS 6) Proceedings of the 2009 international conference on New frontiers in artificial intelligence, (159-160)
- Leivant D On the Completeness of Dynamic Logic Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Volume 5504, (78-91)
- Leivant D Reasoning in dynamic logic about program termination Pillars of computer science, (441-456)
- Zhang Z and Jiang Y Parallel first-order dynamic logic and its expressiveness and axiomatization Proceedings of the 7th international conference on Advanced parallel processing technologies, (600-607)
- Wobcke W An analysis of three puzzles in the logic of intention Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence, (403-412)
- Beckert B and Platzer A Dynamic logic with non-rigid functions Proceedings of the Third international joint conference on Automated Reasoning, (266-280)
- Wobcke W, Chee M and Ji K Model checking for PRS-like agents Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence, (17-28)
- Alferes J and May W Evolution and reactivity for the web Proceedings of the First international conference on Reasoning Web, (134-172)
- Fisher M, Gabbay D and Vila L (2005). Handbook of Temporal Reasoning in Artificial Intelligence, 10.5555/2974992, Online publication date: 1-Mar-2005.
- van Riemsdijk M, de Boer F and Meyer J Dynamic logic for plan revision in intelligent agents Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems, (16-32)
- Wobcke W Model theory for PRS-like agents Proceedings of the 8th Pacific Rim International Conference on Trends in Artificial Intelligence, (595-604)
- Ghica D and McCusker G (2003). The regular-language semantics of second-order idealized ALGOL, Theoretical Computer Science, 309:1, (469-502), Online publication date: 2-Dec-2003.
- Pérez-Ramírez M and Fox C Imperatives as obligatory and permitted actions Proceedings of the 4th international conference on Computational linguistics and intelligent text processing, (52-64)
- Meyer J Dynamic logic for reasoning about actions and agents Logic-based artificial intelligence, (281-311)
- Odersky M (1998). Programming with variable functions, ACM SIGPLAN Notices, 34:1, (105-116), Online publication date: 1-Jan-1999.
- Odersky M Programming with variable functions Proceedings of the third ACM SIGPLAN international conference on Functional programming, (105-116)
- Halpern J Axiomatizing causal reasoning Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence, (202-210)
- Montesi D, Bertino E and Martelli M (1997). Transactions and Updates in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 9:5, (784-797), Online publication date: 1-Sep-1997.
- Chen W (1997). Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning, IEEE Transactions on Knowledge and Data Engineering, 9:4, (587-599), Online publication date: 1-Jul-1997.
- Stephan W and Biundo S Deduction-based refinement planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (213-220)
- Ryan M, Schobbens P and Rodrigues O Counterfactuals and updates as inverse modalities Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge, (163-173)
- Bacchus F, Halpern J and Levesque H Reasoning about noisy sensors in the situation calculus Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2, (1933-1940)
- Brawner J and Vorbach J A formal basis for schema analysis of semantic database update semantics Proceedings of the 1995 ACM 23rd annual conference on Computer science, (142-149)
- Cohen P and Levesque H Performatives in a rationally based speech act theory Proceedings of the 28th annual meeting on Association for Computational Linguistics, (79-88)
- Zwiers J and Roever W Predicates are predicate transformers: a unified compositional theory for concurrency Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, (265-279)
- Streett R and Emerson E (1989). An automata theoretic decision procedure for the propositional mu-calculus, Information and Computation, 81:3, (249-264), Online publication date: 1-Jun-1989.
- Manchanda S Declarative expression of deductive database updates Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (93-100)
- Gottlob G, Paolini P and Zicari R (1988). Properties and update semantics of consistent views, ACM Transactions on Database Systems, 13:4, (486-524), Online publication date: 1-Oct-1988.
- Naqvi S and Krishnamurthy R Database updates in logic programming Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (251-262)
- Wolper P Expressing interesting properties of programs in propositional temporal logic Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (184-193)
- Brown A Modal propositional semantics for reason maintenance systems Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (178-184)
- Gerth R Transition logic Proceedings of the sixteenth annual ACM symposium on Theory of computing, (39-50)
- Casanova M, Veloso P and Furtado A Formal data base specification Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (110-118)
- Halpern J A good Hoare axiom system for an ALGOL-like language Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (262-271)
- Tucherman L, Furtado A and Casanova M A Pragmatic Approach to Structured Database Design Proceedings of the 9th International Conference on Very Large Data Bases, (219-231)
- Schiel U An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) Proceedings of the 9th International Conference on Very Large Data Bases, (322-330)
- Schwartz R, Melliar-Smith P and Vogt F An interval logic for higher-level temporal reasoning Proceedings of the second annual ACM symposium on Principles of distributed computing, (173-186)
- Lamport L Reasoning about nonatomic operations Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (28-37)
- Yonezaki N and Katayama T Functional specification of synchronized processes based on modal logic Proceedings of the 6th international conference on Software engineering, (208-217)
- Feldman Y and Harel D A probabilistic dynamic logic Proceedings of the fourteenth annual ACM symposium on Theory of computing, (181-195)
- Meyer A and Mitchell J Axiomatic definability and completeness for recursive programs Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (337-346)
- Clarke E, German S and Halpern J On effective axiomatizations of Hoare logics Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (309-321)
- Boehm H A logic for expressions with side-effects Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (268-280)
- Back R (1981). Proving total correctness of nondeterministic programs in infinitary logic, Acta Informatica, 15:3, (233-249), Online publication date: 1-Jun-1981.
- Ben-Ari M, Manna Z and Pnueli A The temporal logic of branching time Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (164-176)
- Casanova M and Bernstein P (1980). A Formal System for Reasoning about Programs Accessing a Relational Database, ACM Transactions on Programming Languages and Systems, 2:3, (386-414), Online publication date: 1-Jul-1980.
- Meyer A and Parikh R Definability in Dynamic Logic Proceedings of the twelfth annual ACM symposium on Theory of computing, (1-7)
- Reif J and Peterson G A dynamic logic of multiprocessing with incomplete information Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (193-202)
- Parikh R Propositional logics of programs Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (186-192)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
First-Order Modal Logic: Frame Definability and a Lindström Theorem
We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic (FML, for short). We first study FML-definable frames and give a version of the Goldblatt---Thomason theorem for this logic. ...
First-Order Intuitionistic Epistemic Logic
Logic, Rationality, and InteractionAbstractIntuitionistic epistemic logic (IEL), introduced by Artemov and Protopopescu (2016), accepts the co-reflection axiom: “” in terms of Brouwer-Heyting-Kolmogorov interpretation. There are two variants for IEL, one of which has the axiom “”, while ...