1588 search results - page 254 / 318 » On the Logic of Constitutive Rules |
108
click to vote
RR
2007
Springer
15 years 7 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
103
click to vote
AVSS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
128
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
104
click to vote
KCAP
2005
ACM
15 years 7 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
121
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...