MOTS EN ANGLAIS EN RAPPORT AVEC «CIRCUMSCRIPTIVE»
circumscriptive
circumscriptive
meaning
pronunciation
translations
define
instance
circumscribing
more
collins
always
circumscription
usage
examples
trends
word
frequency
ˌsɜːkəmˈskrɪptɪv
wiktionary
edit
adjective
comparative
superlative
most
that
circumscribes
outlines
defined
noun
being
circumscribed
boundary
outline
limitation
restriction
surrounding
substance
space
area
reverso
also
circumscriptively
circumscribe
circumspective
definitions
onelook
search
found
dictionaries
with
include
click
first
link
below
directly
page
10 LIVRES EN ANGLAIS EN RAPPORT AVEC «CIRCUMSCRIPTIVE»
Découvrez l'usage de
circumscriptive dans la sélection bibliographique suivante. Des livres en rapport avec
circumscriptive et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.
1
Computing
circumscriptive databases: Theory and algorithms
Finally, we plan to use a standard relational database system as our run-time environment; this should yield relatively fast run-time processing, and provide a more expressive query language in which aggregates and the like can be expressed ...
Anil Nerode, Raymond T. Ng, V. S. Subrahmanian, 1992
2
Logic for Programming, Artificial Intelligence, and ...
Each theory in these logics is specified by a collection of first order formulas
together with a particular circumscriptive policy, a set of rules defining the way in
which minimization must be applied. A second or- der logic formula is
constructed ...
Miki Hermann, Andrei Voronkov, 2006
3
Solving the Frame Problem: A Mathematical Investigation of ...
... State constraint 1 1 State function 176 State predicate 274 State-based
minimisation , 267, 315 and explanation 124-128, 339-345 applied to
circumscriptive event calculus 272-276 Incompatibility with arboreality 156 Stolen
car scenario 22, ...
4
Semantic Matchmaking with Nonmonotonic Description Logics
Chapter. 6. A. Reasoning. Algorithm. for. Circumscriptive. Description. Logics.
Circumscriptive description logics are a rather new approach to augment DLs by
nonmonotonic features that has been proposed very recently. Hence, there have
...
5
Inductive Logic Programming: 14th International Conference, ...
3 Circumscriptive Induction As mentionedin Section 1, both explanatory induction
and descriptive induction have strength and weakness, which are
complementary to each other. In order to integrate explanatory and descriptive
induction by ...
Rui Camacho, Ross King, Ashwin Srinivasan, 2004
6
Logic-Based Artificial Intelligence
7. CIRCUMSCRIPTIVE. REASONING. ABOUT. BELIEFS. Several frameworks
have been proposed for formalizing nonmonotonic reasoning about beliefs:
autoepistemic logic, (Morgenstern, 1990); circumscription in a higher-order
modal logic, ...
7
Web Reasoning and Rule Systems: Third International ...
While typical examples in the circumscription literature deal with defeasible
conclusions of circumscriptive abnormality theories, in this setting we use
minimisation of concepts to realise a local closed-world assumption for the
matchmaking of ...
Axel Polleres, Terrance Swift, 2009
Quod autem predicatum ponat in se contradictiones plures patet, quia, sicut
impossibile est plura corpora simul10 esse in eodem loco circumscriptive, ita
impossibile est idem corpus esse11 in diversis locis circumscriptive. Unde
quod12 est ...
Pope John XXI, Lambertus Marie de Rijk, 1992
9
Angels in Medieval Philosophical Inquiry: Their Function and ...
1n the commentary on Article 219 the anonymous author refers to what is said
about Article 204 and claims that 'when the Article is taken in the sense that
separate substances are not circumscriptive in a place, then it is true.' This means
that it ...
Ms Isabel Iribarren, Mr Martin Lenz, 2012
10
Intentions in Communication
Chapter. 6. A. Circumscriptive. Theory. of. Plan. Recognition. Henry. Kautz. 1
Introduction 1.1 Motivation Perhaps the central concern of artificial intelligence is
to devise methods for representing and reasoning about actions and plans.
Philip R. Cohen, Jerry L. Morgan, Martha E. Pollack, 1990
