Sciweavers

12981 search results - page 2421 / 2597
» Artificial Intelligence
Sort
View
AGP
2003
IEEE
15 years 11 months ago
An Evolving Agent with EVOLP
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
José Júlio Alferes, Antonio Brogi, J...
AGP
2003
IEEE
15 years 11 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
AGP
2003
IEEE
15 years 11 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
AGP
2003
IEEE
15 years 11 months ago
Ordered Programs as Abductive Systems
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
Davy Van Nieuwenborgh, Dirk Vermeir
ICAT
2003
IEEE
15 years 11 months ago
i-ball 2: An Interaction Platform with a Crystal-Ball-Like Display for Multiple Users
The authors’ aim in this work is to develop an easy-to-use computer-human interaction (CHI) platform. In this paper, i-ball 2 (interactive/information ball 2) is introduced as a...
Keita Ushida, Hiroshi Harashima, Jun Ishikawa
« Prev « First page 2421 / 2597 Last » Next »