5378 search results - page 779 / 1076 » Base Logics in Argumentation |
109
click to vote
CORR
2007
Springer
15 years 23 days ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
109
click to vote
JNSM
2008
15 years 23 days ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
102
click to vote
JUCS
2006
15 years 22 days ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
102
Voted
ENTCS
2002
15 years 18 days ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
94
Voted
JAIR
2010
14 years 11 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...