763 search results - page 77 / 153 » Programming and Planning |
159
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
TAPIA
2005
ACM
15 years 8 months ago
2005
ACM
This paper examines the GrewpEdit tool which was developed as part of the Groupware Research in Education and the Workforce Project. GrewpEdit was designed to support close collab...
121
click to vote
CCIA
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
143
click to vote
ICONFERENCE
2012
13 years 10 months ago
2012
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
115
click to vote
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...