Sciweavers

1137 search results - page 78 / 228
» Knowledge Representation with Logic Programs
Sort
View
EUROPAR
2000
Springer
14 years 13 days ago
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
Vítor Santos Costa, Ricardo Rocha, Fernando...
ATAL
2007
Springer
14 years 3 months ago
When price is not enough: combining logical and numerical issues in bilateral negotiation
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
TABLEAUX
2005
Springer
14 years 2 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
IWPC
2005
IEEE
14 years 2 months ago
An Investigation into Professional Programmers' Mental Representations of Variables
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
Jorma Sajaniemi, Raquel Navarro-Prieto
DALT
2008
Springer
13 years 10 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk