1588 search results - page 123 / 318 » On the Logic of Constitutive Rules |
177
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
198
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
186
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
145
click to vote
WLP
2005
Springer
15 years 12 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
162
click to vote
BIBE
2007
IEEE
16 years 22 days ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...