886 search results - page 42 / 178 » Reasoning with contextual graphs |
134
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Based on an inductive definition of triangulations, a theory of undirected planar graphs is developed in Isabelle/HOL. The proof of the 5 colour theorem is discussed in some detai...
112
Voted
DLOG
2003
15 years 5 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
131
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
180
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
135
click to vote
LOGCOM
2008
15 years 4 months ago
2008
We describe a two-layer architecture for supporting semantic interpretation and domain reasoning in dialogue systems. Building systems that support both semantic interpretation an...