bib:logic

This topic contains a bibliography in the format expected by the `refnotes`

plugin. It contains my list of references about logic stretching back to my PhD studies in the early 1990s. It also includes contributions by some of my graduate students.

This is not every reference I have. Many more recent references are stored in my zotero account.

Note name | Note text |
---|---|

AF98 | A. Artale and E. Franconi. 1998. A Temporal Description Logic for Reasoning about Actions and Plans. J. Artificial Intelligence Research, 9:463-506. |

AFG96 | A. Artale, E. Franconi and N. Guarino. 1996. Open Problems with Part-Whole Relations. In Proceedings of 1996 International Workshop on Description Logics, Boston, MA. pages 70-73. |

AFG96b | A. Artale, E. Franconi, N. Guarino and L. Pazzi. 1996. Part-Whole Relations in Object-Centered Systems: An Overview. Data and Knowledge Engineering, 20:347-383. |

AS96 | V. Akman and M. Surav. 1996. Steps toward Formalizing Context. AI Magazine, 17(3):55-72. |

AV95 | N. Asher and L. Vieu. 1995. Toward a geometry of common sense: a semantics and complete axiomatization of mereotopology. In Proc. 14th Intl Joint Conf on Artificial Intelligence (IJCAI 95). pages 846-852. (link) |

AW87 | Farhad Arbab and Jeanette M. Wing. 1987. Geometric Reasoning: A New Paradigm for Processing Geometric Information. In Design Theory for CAD/ (ed. H Yoshikawa and E. A. Warman); North-Holland, Amsterdam. pages 145-159. |

Note name | Note text |
---|---|

Bar00 | C. Baral. 2000. Abductive reasoning through filtering. Artificial Intelligence, 120:1-28. |

BCT00 | B. Bennett, A.G. Cohn, P. Torrini and S.M. Hazarika. 2000. Describing rigid body motions in a qualitative theory of spatial regions. In Proc AAAI-2000/ (ed. H.A. Kautz and B. Porter). pages 503-509. |

BCT00a | B. Bennett, A.G. Cohn, P. Torrini and S.M. Hazarika. 2000. A foundation for region-based qualitative geometry. In Proc ECAI-2000/ (ed. W. Horn). pages 204-208. |

Ben01 | B. Bennett. 2001. A categorical axiomatisation of region-based geometry. Fundamenta Informatica, 46:145-158. |

Ben94 | R. Bennett. 1994. Some observations and puzzles about composing spatial and temporal relations. In Proc ECAI-94/ (ed. R. Rodriguez), Amsterdam. pages 65-72. |

Ben96 | B. Bennett. 1996. Modal logics for qualitative spatial reasoning. J. of IGPL, 4(1):23-45. (link) |

Ben96a | R. Bennett. 1996. The application of qualitative spatial reasoning to GIS. In Proc First Intl Conf on GeoComputation/ (ed. R.J. Abrahart), Leeds. pages 44-47. |

Ben96b | R. Bennett. 1996. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc JELIA '96/ (ed. J.J. Alfres and L.M. Pereira and E. Orlowska). pages 337-353. |

Ber68 | Paul Bernays. 1968. Axiomatic Set Theory. North-Holland Publishing Company, Amsterdam. |

BF81 | Avron Barr and Edward A. Feigenbaum (eds). 1981. The Handbook of Artificial Intelligence, Volume 1. HeurisTech Press, Stanford, California. |

BF82 | Avron Barr and Edward A. Feigenbaum (eds). 1982. The Handbook of Artificial Intelligence, Volume 2. HeurisTech Press, Stanford, California. |

BGM96 | S. Borgo, N. Guarino and C. Masolo. 1996. Towards an Ontological Theory of Physical Objects. In Proceedings of the ECAI Workshop on Ontological Reasoning, Budapest |

BGM96a | S. Borgo, N. Guarino and C. Masolo. 1996. Qualitative Spatial Modeling Based On Parthood, Strong Connection and Congruence. #03/96. LADSEB-CNR, Padova, Italy. |

BGM96b | S. Borgo, N. Guarino and C. Masolo. 1996. A Pointless Theory of Space Based On Strong Connection and Congruence. In Principles of Knowledge Representation and Reasoning - KR96/ (ed. L. C. Aiello and J. Doyle); Morgan Kaufmann, Boston. pages 220-229. |

BJ98 | V. Bell and P.N. Johnson-Laird. 1998. A Model Theory of Modal Reasoning. Cognitive Science, 22(1):25-51. |

BL95 | Franz Baader and Armin Laux. 1995. Terminological Logics with Modal Operators. In Proceedings of the 1995 International Workshop on Description Logics, Rome, Italy. pages 6-12. |

BM77 | John Bell and Moshe Machover. 1977. A Course in Mathematical Logic. Elsevier Science Publishers, Amsterdam. |

BMW96 | K.N. Brown, C.A. !McMahon and J.H.S. Williams. 1996. Describing process plans as the formal semantics of a language of shape. Artificial Intelligence in Engineering, 10:153-169. |

Bon95 | P.A. Bonatti. 1995. Autoepistemic logics as a unifying framework for the semantics of logic programs. J. Logic Programming, 22:91-149. |

BP98 | J.A. Bergstra and A. Ponse. 1998. Kleene's three-valued logic and process algebra. Information Processing Letters, 67:95-103. |

BS95 | L. Biacino and M.R. Simonelli. 1995. Fuzzy common knowledge. J Mathematical Economics, 24(1):73-82. (link) |

Note name | Note text |
---|---|

CBG97 | A.G. Cohn, B. Bennett, J. Gooday and N.M. Gotts. 1997. Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica, 1:1-44. (link) |

CBG97a | A.G. Cohn, B. Bennett, J. Gooday and N.M. Gotts. 1997. Representing and reasoning with qualitative spatial relations about regions. In Temporal and Spatial Reasoning/ (ed. O. Stock); Kluwer. pages 97-134. |

CCR92 | Z. Cui, A.G. Cohn and D.A. Randell. 1992. Qualitative simulation based on a logical formalism of space and time. In Proc. AAAI-92; AAAI Press. pages 679-684. |

CFH97 | E. Clementini, P. Di Felice and D. Hernandez. 1997. Qualitative representation of positional information. Artificial Intelligence, 95:317-356. |

CG94 | A. Cohn and J. Gooday. 1994. Defining the syntax and the semantics of a visual programming language in a spatial logic. In Proc AAAI-94 Spatial and Temporal Reasoning Workshop/ (ed. F.D. Anger and R. Loganantharaj) (link) |

CG94a | A. G. Cohn and N. M. Gotts. 1994. A Theory of Spatial Regions with Undetermined Boundaries. In Proc. w/s Topological Foundations of Cognitive Science/ (ed. C. Eschenbach and C. Habel and B. Smith) |

CG99a | X.J. Chen and G. De Giacomo. 1999. Reasoning about nondeterministic and concurrent actions: A process algebra approach. Artificial Intelligence, 107:63-98. |

CH00a | A.G. Cohn and S.M. Hazarika. 2000. A spatio-temporal theory of physical objects. In Proc ECAI-2000 Workshop on Current Trends in Spatio-temporal Reasoning |

CH01 | A.G. Cohn and S.M. Hazarika. 2001. Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae, 45:1-29. |

Cha97 | S.C. Chase. 1997. Modelling spatial reasoning systems with shape algebras and formal logic. Aritifial Intelligence for Engineering Design, Analysis and Manufacturing, 11:273-285. |

CK77 | C.C. Chang and H.J. Keisler. 1977. Model Theory. Studies in Logic and the Foundations of Mathematics, v73. Elsevier, Amsterdam. |

Cla81 | B. L. Clarke. 1981. A calculus of individuals based on connection. Notre Dame J. of Formal Logic, 22:204-218. |

Cla85 | B. L. Clarke. 1985. Individuals and points. Notre Dame J. of Formal Logic, 26:61-75. |

Coh95 | A.G. Cohn. 1995. The challenge of qualitative spatial reasoning. Computing Surveys, 27(3):323-327. |

Cop79 | Irving M. Copi. 1979. Symbolic Logic. Macmillan. |

CV96 | R. Casati and A.C. Varzi. 1996. The structure of spatial localization. Philosophical Studies, 82:205-239. |

CV97 | R. Casati and A.C. Varzi. 1997. Spatial Entities. In Spatial and Temporal Reasoning/ (ed. O. Stock); Kluwer, Dordrecht. pages 73-96. |

CV98 | A.G. Cohn and A.C. Varzi. 1998. Connection relations in mereotopology. In Proc. ECAI-98/ (ed. H. Prade); John Wiley, Chichester. pages 150-154. (link) |

CV99 | R. Casati and A.C. Varzi. 1999. Parts and places: the structures of spatial representation. MIT Press, Cambridge. |

CV99a | A.G. Cohn and A.C. Varzi. 1999. Modes of connection. In Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science/ (ed. C. Freksa and D.M. Mark); Springer-Verlag, Berlin. pages 299-314. (link) |

Note name | Note text |
---|---|

DB99 | T. Drakengren and M. Bjareland. 1999. Reasoning about action in polynomial time. Artificial Intelligence, 115:1-24. |

DC93 | Daniela D'Aloisi and Cristiano Castelfranchi. 1993. Propositional and terminological knowledge representations. Journal of Experimental and Theoretical Artificial Intelligence, 5(2,3):149-166. |

DSW01 | I. Duntsch, G. Schmidt and M. Winter. 2001. A necessary relation algebra for mereotopology. Studia Logica, 69:381-409. (link) |

DWM01 | Ivo Duntsch, Hui Wang and Steve McCloskey. 2001. A relation algebraic approach to the {R}egion {C}onnection {C}alculus. Theoretical Computer Science, 255:63-83. (link) |

Note name | Note text |
---|---|

Edi90 | The Editor. 1990. Claude E. Shannon: Unicyclist, Juggler and Father of Information Theory. Scientific American, 262(1):22-22B. |

EFT84 | H. D. Ebbinghaus, J. Flum and W. Thomas. 1984. Mathematical Logic. Springer-Verlag, New York. |

EH95 | C. Eschenbach and W. Heydrich. 1995. Classical mereology and restricted domains. Int. J. Human-Computer Studies, 43:723-740. |

End72 | Herbert B. Enderton. 1972. A Mathematical Introduction to Logic. Academic Press, Inc., New York. |

Esc00 | C. Eschenbach. 2000. A comparison of different calculi of mereotopology. |

Esc94 | C. Eschenbach. 1994. A mereotopological definition of Point. In Proc. w/s Topological Foundations of Cognitive Science/ (ed. C. Eschenbach and C. Habel and B. Smith), Buffalo, NY. pages 63-80. |

Esc99 | C. Eschenbach. 1999. A predication calculus for qualitative spatial representations. In Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings. pages 157-172. (link) |

Eve99 | J.O. Everett. 1999. Topological inference of teleology: deriving function from structure via evidential reasoning. Artificial Intelligence, 113:149-202. |

Note name | Note text |
---|---|

FB73 | Abraham A. Fraenkel and Yehoshua Bar-Hillel. 1973. Foundations of Set Theory. North-Holland. |

FBL73 | Abraham A. Fraenkel, Yehoshua Bar-Hillel and Azriel Levy. 1973. Foundations of Set Theory. North-Holland. |

FC99 | M.A. Freeman and J.M. Capper. 1999. Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings. ALN Magazine, 1661(2) |

FDF95 | Adam Farquhar, Angela Dappert, Richard Fikes and Wanda Pratt. 1995. Integrating Information Sources Using Context Logic. #KSL-95-12. Knowledge Systems Laboratory, Stanford University, Stanford, CA. |

FGL98 | D. Fensel, R. Groenboom and G.R.R. de Lavalette. 1998. Modal change logic (MCL): specifying the reasoning of knowledge-based systems. Data and Knowledge Engineering, 26:243-269. |

FH99 | N. Friedman and J.Y. Halpern. 1999. Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artificial Intelligence Research, 10:117-167. |

FHM95 | R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi. 1995. Reasoning about Knowledge. MIT Press, Cambridge, MA. |

FHM99 | R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi. 1999. Common knowledge revisited. Annals of Pure and Applied Logic, 96:89-105. |

FM98 | D. Fensel and E. Motta. 1998. Structured development of problem solving methods. In Proc. 11th Workshop on Knowledge Acquisition, Modeling and Management, Banff, Canada |

FMB99 | D. Fensel, E. Motta, V.R. Benjamins, S. Decker, M. Gaspari, R. Groenboom, W. Grosso, M. Musen, E. Plaza, G. Schreiber, R. Studer and B. Weilinga. 1999. The unified problem-solving method development language UPML. Esprit IBROW3 Consortium #27169-D-1.1. AIFB, University of Karlsruhe, Karlsruhe, Germany. |

Fou92 | L. R. Foulds. 1992. Graph Theory Applications. Universitext. Springer-Verlag, Berlin. |

Fra93a | E. Franconi. 1993. A treatment of plurals and plural quantifications based on a theory of collections. Mind and Machines, 3(4):453-474. |

FS98 | D. Fensel and A. Schonegge. 1998. Inverse verification of problem-solving methods. Intl J of Human-Computer Studies, 49(4):339-361. (link) |

FS98a | D. Fensel and R. Straatman. 1998. The essence of problem-solving methods: making assumptions to gain efficiency. Intl J Human-Computer Studies, 48(2):181-215. (link) |

FW95 | W. W. Finch and A. C. Ward. 1995. Generalized set-propagation operations over relations of more than three variables. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 9:231-242. |

Note name | Note text |
---|---|

Gal96 | A. Galton. 1996. Modes of overlap. Department of Computer Science, University of Exeter, UK. |

Gal99a | A. Galton. 1999. The mereotopology of discrete space. In Spatial Information Theory: Proc. COSIT 99/ (ed. C. Freksa and D.M. Mark); Springer-Verlag, Heidelberg. pages 251-266. |

GCG94 | N. Guarino, M. Carrara and P. Giaretta. 1994. Formalizing Ontological Commitments. In Proceedings of the 12th National Conference on Artificial Intelligence; AAAI Press, Seattle, WA, USA. pages 560-568. |

Gen01 | M.R. Genesereth. 2001. Computational logic. |

GF92 | Micheal R. Genesereth and Richard E. Fikes. 1992. Knowledge Interchange Format Reference Manual, Version 3.0. #Logic-92-1. Computer Science Department, Stanford University, Stanford, California. |

GN87 | Micheal R. Genesereth and Nils J. Nilsson (eds). 1987. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., Los Altos, CA. |

Got96 | N.M. Gotts. 1996. An axiomatic approach to topology for spatial information systems. #96.25. University of Leeds School of Computer Studies, United Kingdom. |

Got96a | N.M. Gotts. 1996. Formalizing commonsense topology: the INCH calculus. In Proc. 4th Intl Conf on Artificial Intelligence and Mathematics. pages 72-75. |

GP95 | P. Gerstl and S. Pribbenow. 1995. Midwinters, end games, and body parts: a classification of part-whole relations. Intl. J. Human-Computer Studies, 43:865-889. |

GP96 | P. Gerstl and S. Pribbenow. 1996. A conceptual theory of part-whole relations and its applications. Data and Knowledge Engineering, 20:305-322. |

Gro95 | A. J. Grove. 1995. Naming and identity in epistemic logic, Part II: a first-order logic for naming. Artificial Intelligence, 74:311-350. |

GRS95 | R. Gorrieri, M. Roccetti and E. Stancampiano. 1995. A theory of processes with durational actions. Theoretical Computer Science, 140:73-94. |

Note name | Note text |
---|---|

Haa96 | K. Haase. 1996. !FramerD: representing knowledge in the large. IBM Systems Journal, 35:381-397. (link) |

Hei96 | A. Heifetz. 1996. Comment on consensus without common knowledge. J. Economic Theory, 70:273-277. |

HGP98 | M. Halper, J. Geller and Y. Perl. 1998. An OODB part-whole model: semantics, notation, and implementation. Data and Knowledge Engineering, 27:59-95. |

HM95 | Z. Huang and M. Masuch. 1995. An outline of ALX3, a multi-agent action logic. In Proc. NAIC '95/ (ed. J.C. Bioch and Y.H. Tan) |

HM97 | Z. Huang and M. Masuch. 1997. The logic of permission and obligation in the framework of ALX3: how to avoid the paradoxes of deontic logics. J of Logique and Analyse, 149 (link) |

HMP96 | Z. Huang, M. Masuch and L. Polos. 1996. ALX, an action logic for agents with bounded rationality. Artificial Intelligence, 82:75-127. |

Hof79 | D.R. Hofstadter. 1979. Godel, Escher, Bach: An Eternal Golden Braid. Vintage Books. |

HPS95 | C. Habel, S. Pribbenow and G. Simmons. 1995. Partonomies and Depictions: A Hybrid Approach. In Diagrammatic Reasoning: Computational and Cognitive Perspectives/ (ed. J. Glasgow and H. Narayanan and B. Chandrasekaran); AAAI/MIT Press |

HS99 | D. Harel and E. Singerman. 1999. Computation paths logic: An expressive, yet elementary, process logic. Annals of Pure and Applied Logic, 96:167-186. |

HT99 | J.G. Henriksen and P.S. Thiagarajan. 1999. Dynamic linear time temporal logic. Annals of Pure and Applied Logic, 96:187-207. |

Hua94 | Z. Huang. 1994. Logics for Agents with Bounded Rationality. !PhD Thesis; University of Amsterdam. |

Hun00 | A. Hunter. 2000. Ramification analysis using causal mapping. Data and Knowledge Engineering, 32:1-27. |

Note name | Note text |
---|---|

JD97 | P. Jonsson and T. Drakengren. 1997. A complete classification of tractability in RCC-5. J. of Artificial Intelligence Research, 6:211-221. (link) |

JGM98 | B. Jayaraman, K. Govindarajan and S. Mantha. 1998. Preference logic grammars. Computer Languages, 24:179-196. |

JP99 | D.M. Jones and R.C. Paton. 1999. Toward principles for the representation of hierarchical knowledge in formal ontologies. Data and Knowledge Engineering, 31:99-113. |

JW99 | P. Johannesson and P. Wohed. 1999. The deontic pattern - a framework for domain analysis in information systems design. Data and Knowledge Engineering, 31:135-153. |

Note name | Note text |
---|---|

KF88a | George J. Klir and Tina A. Folger. 1988. Fuzzy Sets, Uncertainty, and Information. Prentice-Hall. |

Kli80 | Morris Kline. 1980. Mathematics: The Loss of Certainty. Oxford University Press. |

KMT00 | A. Kakas, R. Miller and F. Toni. 2000. E-Res: A system for reasoning about actions, events, and observations. In Proc. NMR 2000, Special Session on System Demonstrations and Descriptions (link) |

KPS99 | J. Komorowski, L. Polkowski and A. Skowron. 1999. Rough sets: a tutorial. In Rough fuzzy hybridization: a new trend in decision-making (ed. S.K. Pal and A. Skowron); Springer-Verlag, Singapore. pages 3-98. |

KR96 | R. Khardon and D. Roth. 1996. Reasoning with models. Artificial Intelligence, 87:187-213. |

Kun80 | Kenneth Kunen. 1980. Set Theory: An Introduction to Independence Proofs. North-Holland, Amsterdam. |

Note name | Note text |
---|---|

LCS91 | Ewald Lang, Kai-Uwe Carstensen and Geoffrey Simmons. 1991. Modelling Spatial Knowledge on a Linguistic Bases. Lecture Notes in Artificial Intelligence. Springer-Verlag. |

Ley88 | Micheal Leyton. 1988. A Process-Grammar for Shape. Artificial Intelligence, 34:213-247. |

LK98a | Y. Liu and E.E. Kerre. 1998. An overview of fuzzy quantifiers I: interpretations. Fuzzy Sets and Systems, 95:1-21. |

LK98b | Y. Liu and E.E. Kerre. 1998. An overview of fuzzy quantifiers II: Reasoning and applications. Fuzzy Sets and Systems, 95:135-146. |

LL95 | Z. Lin and W. Li. 1995. Parametric logic: foundations. Science in China - A, 38:1009-1024. |

LM96 | L. Lismont and P. Mongin. 1996. Belief closure: A semantics of common knowledge for modal propositional logic. Mathematical Social Sciences, 31(1):60. (link) |

LP98 | O. Lemon and I. Pratt. 1998. Complete logics for QSR: a guide to plane mereotopology. J. Visual Languages and Computing, 9:5-21. |

Note name | Note text |
---|---|

Mar97 | A.B. Markman. 1997. Constraints on analogical inference. Cognitive Science, 21:373-418. |

MB94 | John McCarthy and Sasa Buvac. 1994. Formalizing Context (Expanded Notes). Technical Note #STAN-CS-TN-94-13. Computer Science Department, Stanford University, Stanford, CA. |

MH94 | M. Masuch and Z. Huang. 1994. A case study in logical deconstruction: formalizing J.D. Thompson's Organizations in Action in a multi-agent action logic. CCSOM #94-120. University of Amsterdam, The Netherlands. |

Min74 | M. Minsky. 1974. A Framework for Representing Knowledge. MIT-AI Laboratory Memo 306. (link) |

Mot00 | R. Motschnig-Pitrik. 2000. A generic framework for the modeling of contexts and its applications. Data and Knowledge Engineering, 32:145-180. |

Mul98 | P. Muller. 1998. A qualitative theory of motion based on spatio-temporal primitives. In Proc 6th Intl Conf on Knowledge Representation and Reasoning, Trento, Italy. pages 131-143. (link) |

Note name | Note text |
---|---|

Nak96 | A. Nakamura. 1996. A rough logic based on incomplete information and its application. Intl J. Approximate Reasoning, 15:367-378. |

Neb90 | Bernhard Nebel. 1990. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, v422. Springer-Verlag, Berlin. |

Neb91 | Bernhard Nebel. 1991. Terminological Cycles: Semantics and Computational Properties. In Principles of Semantic Networks: Explorations in the Representation of Knowledge (ed. John F. Sowa); Morgan Kaufmann Publishers, Inc., San Mateo. pages 331-361. |

Note name | Note text |
---|---|

PA95 | M. Pakkan and V. Akman 1995. Issues in commonsense set theory. Artificial Intelligence Review, 8:279-308. (link) |

PL97 | I. Pratt and O. Lemon. 1997. Ontologies for Plane, Polygonal Mereotopology. Technical Report Series #UMCS-97-1-1. Department of Computer Science, University of Manchester. |

Pot92 | G. Pottinger. 1992. Completeness for the HOL logic. (link) |

Pra99 | I. Pratt. 1999. Qualitative spatial representation languages with convexity. J Spatial Cognition and Computation, 1:181-204. (link) |

PS94 | L. Polkowski and A. Skowron. 1994. Rough Mereology. #44-94. Institute of Mathematics, Warsaw University of Technology, Warsaw, Poland. |

PS96 | L. Polkowski and A. Skowron. 1996. Rough Mereology: A New Paradigm for Approximate Reasoning. Int'l J. Approximate Reasoning, 15:333-365. |

PS97 | I. Pratt and D. Schoop. 1997. A complete axiom system for polygonal mereotopology of the real plane. Technical Report Series #UMCS-97-2-2. Department of Computer Science, University of Manchester. |

PS98a | I. Pratt and D. Schoop. 1998. Expressivity in Polygonal, Plane Mereotopology. Technical Report Series #UMCS-98-5-1. Department of Computer Science, University of Manchester. |

Note name | Note text |
---|---|

Qui81 | Willard Van Orman Quine. 1981. Mathematical Logic, Revised Edition. Harvard University Press. |

Note name | Note text |
---|---|

Ram99 | R. Ramanujam. 1999. View-based explicit knowledge. Annals of Pure and Applied Logic, 96:343-368. |

RC89 | D.A. Randell and A.G. Cohn. 1989. Modelling topological and metrical properties in physical processes. In Proc. 1st Intl Conf on the Principles of Knowledge Representation and Reasoning (ed. R. Brachman and H. Levesque and R. Reiter); Morgan Kaufmann. pages 55-66. |

RCC92a | D.A. Randell, Z. Cui and A.G. Cohn. 1992. A spatial logic based on regions and connection. In Proc. 3rd Intl Conf on Knowledge Representation and Reasoning; Morgan Kaufmann. pages 165-176. |

Ren98 | J. Renz. 1998. A canonical model of the region connection calculus. In Proc 6th Intl Conf on Knowledge Representation and Reasoning, Trento, Italy. pages 330-341. |

RN99 | J. Renz and B. Nebel. 1999. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence, 108:69-123. |

Roe97 | P. Roeper. 1997. Region-based topology. Journal of Philosophical Logic, 26(3):251-309. |

Roo98 | N. Roos. 1998. Reasoning by cases in default logic. Artificial Intelligence, 99:165-183. |

bib/logic.txt · Last modified: 2020.03.12 13:30 (external edit)

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International