4978 search results - page 204 / 996 » Logical models of argument |
119
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
196
click to vote
HIS
2009
15 years 2 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
115
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
151
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
135
click to vote
AAAI
2006
15 years 5 months ago
2006
It is often convenient to represent probabilistic models in a first-order fashion, using logical atoms such as