147 search results - page 27 / 30 » Reasoning with Sets of Defaults in Default Logic |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
An ’Internet Protocol’ (IP) network established over Bluetooth affords higher practical throughput compared to the ‘Synchronous Connection Oriented’ (SCO) physical link al...
CONCUR
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
FMSP
2000
ACM
14 years 1 days ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...