2540 search results - page 49 / 508 » Abstract Logics as Dialgebras |
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
ICES
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Evolvable Hardware (EHW) has been proposed as a new method for designing systems for real-world applications. In this paper it is applied for evolving a prosthetic hand c...
SSD
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...