Nothing Special   »   [go: up one dir, main page]

skip to main content
Skip header Section
First-Order Dynamic LogicJune 1979
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
ISBN:978-0-387-09237-9
Published:01 June 1979
Pages:
133
Skip Bibliometrics Section
Reflects downloads up to 20 Dec 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    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)
  2. ACM
    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)
  3. ACM
    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)
  4. ACM
    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)
  5. ACM
    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)
  6. ACM
    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)
  7. ACM
    O'Hearn P (2019). Incorrectness logic, Proceedings of the ACM on Programming Languages, 4:POPL, (1-32), Online publication date: 1-Jan-2020.
  8. ACM
    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)
  9. Maier D, Tekle K, Kifer M and Warren D Datalog Declarative Logic Programming, (3-100)
  10. ACM
    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)
  11. ACM
    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)
  12. (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.
  13. ACM
    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.
  14. 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)
  15. 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)
  16. ACM
    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.
  17. Quesel J and Platzer A Playing hybrid games with keymaera Proceedings of the 6th international joint conference on Automated Reasoning, (439-453)
  18. Guttmann W Unifying correctness statements Proceedings of the 11th international conference on Mathematics of Program Construction, (198-219)
  19. 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)
  20. 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)
  21. 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)
  22. ACM
    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)
  23. 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)
  24. 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)
  25. 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)
  26. Leivant D Reasoning in dynamic logic about program termination Pillars of computer science, (441-456)
  27. 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)
  28. 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)
  29. Beckert B and Platzer A Dynamic logic with non-rigid functions Proceedings of the Third international joint conference on Automated Reasoning, (266-280)
  30. 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)
  31. Alferes J and May W Evolution and reactivity for the web Proceedings of the First international conference on Reasoning Web, (134-172)
  32. Fisher M, Gabbay D and Vila L (2005). Handbook of Temporal Reasoning in Artificial Intelligence, 10.5555/2974992, Online publication date: 1-Mar-2005.
  33. 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)
  34. Wobcke W Model theory for PRS-like agents Proceedings of the 8th Pacific Rim International Conference on Trends in Artificial Intelligence, (595-604)
  35. 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.
  36. 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)
  37. Meyer J Dynamic logic for reasoning about actions and agents Logic-based artificial intelligence, (281-311)
  38. ACM
    Odersky M (1998). Programming with variable functions, ACM SIGPLAN Notices, 34:1, (105-116), Online publication date: 1-Jan-1999.
  39. ACM
    Odersky M Programming with variable functions Proceedings of the third ACM SIGPLAN international conference on Functional programming, (105-116)
  40. Halpern J Axiomatizing causal reasoning Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence, (202-210)
  41. 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.
  42. 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.
  43. Stephan W and Biundo S Deduction-based refinement planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (213-220)
  44. 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)
  45. 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)
  46. ACM
    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)
  47. 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)
  48. ACM
    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)
  49. 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.
  50. ACM
    Manchanda S Declarative expression of deductive database updates Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (93-100)
  51. ACM
    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.
  52. ACM
    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)
  53. ACM
    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)
  54. Brown A Modal propositional semantics for reason maintenance systems Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (178-184)
  55. ACM
    Gerth R Transition logic Proceedings of the sixteenth annual ACM symposium on Theory of computing, (39-50)
  56. ACM
    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)
  57. ACM
    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)
  58. 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)
  59. 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)
  60. ACM
    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)
  61. ACM
    Lamport L Reasoning about nonatomic operations Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (28-37)
  62. 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)
  63. ACM
    Feldman Y and Harel D A probabilistic dynamic logic Proceedings of the fourteenth annual ACM symposium on Theory of computing, (181-195)
  64. ACM
    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)
  65. ACM
    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)
  66. ACM
    Boehm H A logic for expressions with side-effects Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (268-280)
  67. Back R (1981). Proving total correctness of nondeterministic programs in infinitary logic, Acta Informatica, 15:3, (233-249), Online publication date: 1-Jun-1981.
  68. ACM
    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)
  69. ACM
    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.
  70. ACM
    Meyer A and Parikh R Definability in Dynamic Logic Proceedings of the twelfth annual ACM symposium on Theory of computing, (1-7)
  71. ACM
    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)
  72. ACM
    Parikh R Propositional logics of programs Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (186-192)
Contributors
  • Weizmann Institute of Science Israel
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations