7335 search results - page 290 / 1467 » Scene Based Reasoning |
122
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free...
114
click to vote
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...
130
click to vote
ICMAS
2000
15 years 5 months ago
2000
Multi-agent systems exploiting case based reasoning techniques have to deal with the problem of retrieving episodes that are themselves distributed across a set of agents. From a ...
151
click to vote
IJVR
2008
15 years 4 months ago
2008
This paper describes the architecture for a virtual agent and the implementation of its Affection Module. A novel affective model is proposed based on Probabilistic Fuzzy Cognitive...
170
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...