Sciweavers

918 search results - page 114 / 184
» Speculative Issue Logic
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Mathematical foundations of software engineering: a roadmap
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
T. S. E. Maibaum
AIIA
1991
Springer
15 years 9 months ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf
DLOG
2007
15 years 8 months ago
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
ARGMAS
2008
Springer
15 years 8 months ago
Command Dialogues
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
Katie Atkinson, Roderic A. Girle, Peter McBurney, ...
CIKM
2008
Springer
15 years 8 months ago
Aggregate queries over ontologies
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Ca...