Spatial reasoning and planning : geometry, mechanism, and motion /

Spatial reasoning and planning : geometry, mechanism, and motion /

39

Bibliographic Details
Main Authors:	Liu, Jiming, 1962-, Daneshmend, Laeeque K.
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2004
Subjects:	Artificial intelligence Reasoning Space perception Knowledge representation (Information theory)

Similar Items

Rule-based stream reasoning
by: Ronca, A
Published: (2019)

Evaluating conjunctive and graph queries over the EL profile of OWL 2
by: Stefanoni, G
Published: (2015)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
by: Kaminski, M, et al.
Published: (2014)

Knowledge representation and reasoning /
by: Brachman, Ronald J., 1949-, et al.
Published: (2004)

The impact of disjunction on reasoning under existential rules
by: Morak, M
Published: (2014)

Consequence-based reasoning for the Description Logic SROIQ
by: Tena Cucala, DJ
Published: (2019)

Consequence-based reasoning for SRIQ ontologies
by: Bate, A
Published: (2016)

Handling owl:sameAs via rewriting
by: Motik, B, et al.
Published: (2015)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
by: Kaminski, M, et al.
Published: (2014)

Datalog rewriting techniques for non-Horn ontologies
by: Kaminski, M, et al.
Published: (2014)

Methodologies for intelligence systems, 3 /
by: International Sysposium on Methodologies for Intelligence Systems (3rd : 1988 : Turin, Italy), et al.
Published: (1988)

Qualitative reasoning about physical systems /
by: Babrow, Daniel G.
Published: (1984)

Effective partitioning of RDF data for distributed query answering
by: Banda, F
Published: (2021)

Incremental update of datalog materialisation : the backward/forward algorithm
by: Motik, B, et al.
Published: (2015)

Ontology module extraction and applications to ontology classification
by: Armas Romero, A
Published: (2015)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
by: Motik, B, et al.
Published: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
by: Stefanoni, G, et al.
Published: (2014)

Principles of knowledge presentation and reasoning /
by: International Conference on Principles of Knowledge Representation and Reasoning (1st : 1989 : Toronto, Ont.), et al.
Published: (1989)

Space to reason : a spatial theory of human thought /
by: Knauff, Markus, author
Published: (2013)

Conclusions from the Commodity Expert Project
by: Stansfield, James L.
Published: (2004)

Knowledge representation : an approach to artificial intelligence /
by: 210515 Bench-Capon, T. J. M.
Published: (1990)

Qualitative reasoning : modeling and simulation with incomplete knowledge /
by: 431717 Kuipers, Benjamin
Published: (1994)

Abductive reasoning : logical investigations into discovery and explanation /
by: 375870 Aliseda, Atocha
Published: (2006)

PrimeNet: a framework for commonsense knowledge representation and reasoning based on conceptual primitives
by: Liu, Qian, et al.
Published: (2024)

Computational models of argument : proceedings of COMMA 2008 /
by: COMMA 2008 (2008 : Institut de Recherche en Informatique de Toulouse), et al.
Published: (c200)

Planning and understanding : a computational approach to human reasoning /
by: 298522 Wilensky, Robert
Published: (1983)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource]: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007: Proceedings/
by: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (9th : 2007 : ammamat, Tunisia), et al.
Published: (2007)

Knowledge reasoning method based on deep transfer reinforcement learning: DTRLpath
by: Lin, Shiming, et al.
Published: (2024)

Methodologies for intelligent systems, 4 /
by: International Symposium on Methodologies for Intelligent Systems (4th : 1989 : Charlotte, N.C.), et al.
Published: (c198)

Solving the frame problem : a mathematical investigation of the common sense law of inertia /
by: 398629 Shanahan, Murray
Published: (1997)

Truth and modality for knowledge representation /
by: 332509 Turner, Raymond
Published: (1990)

Argumentation machines : new frontiers in argument and computation /
by: Reed, Chris, et al.
Published: (2004)

Computational models of argument : proceedings of COMMA 2006 /
by: International Conference on Computational Models of Argument (1st : 2006 : University of Liverpool), et al.
Published: (2006)

Annotating, extracting and reasoning about time and events [electronic resources]: international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers/
by: Schilder, Frank, et al.
Published: (2007)

Case-based reasoning : a textbook /
by: 338353 Richter, Michael M.
Published: (c201)

Commonsense reasoning : an event calculus based approach /
by: Mueller, Erik T.
Published: (2015)

Kajian penggunaan kalkulus predikat bagi perwakilan pengetahuan dan hujahan dalam domaian penyakit mata /
by: 351578 Siti Zubaida Sadek
Published: (2001)

Qualitative process theory using linguistic variables /
by: D'Ambrosio, Bruce
Published: (1989)

Qualitative spatial and temporal reasoning /
by: Ligozat, Gřard
Published: (2012)

An introduction to reasoning /
by: 371318 Toulmin, Stephen Edelston, et al.