Distributed First Order Logic

&
Artificial Intelligence 253 (C):1-39 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.08.008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,484

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A formalization of programs in first-order logic with a discrete linear order.Fangzhen Lin - 2016 - Artificial Intelligence 235 (C):1-25.
A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.
A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
Naming and identity in epistemic logic part II: a first-order logic for naming.Adam J. Grove - 1995 - Artificial Intelligence 74 (2):311-350.
Organizational intelligence and distributed artificial intelligence.Stefan Kirn - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley.
Ordered completion for first-order logic programs on finite structures.Vernon Asuncion, Fangzhen Lin, Yan Zhang & Yi Zhou - 2012 - Artificial Intelligence 177-179 (C):1-24.
An overview of distributed artificial intelligence.Bernard Moulin & Brahim Chaib-Draa - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 1--3.
Planning in distributed artificial intelligence.Edmund Durfee - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 245.
A differentiable first-order rule learner for inductive logic programming.Kun Gao, Katsumi Inoue, Yongzhi Cao & Hanpin Wang - 2024 - Artificial Intelligence 331 (C):104108.
Coordination techniques for distributed artificial intelligence.Nick R. Jennings - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 187--210.

Analytics

Added to PP
2020-12-22

Downloads
18 (#1,002,632)

6 months
6 (#694,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts. Center for the Study of Language and Inf. pp. 171-188.

Add more citations

References found in this work

Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Contingent Identity.Wolfgang Schwarz - 2013 - Philosophy Compass 8 (5):486-495.
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.

View all 9 references / Add more references