Sciweavers

2981 search results - page 269 / 597
» Answer Set Planning
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
Emma Norling, Frank E. Ritter
MOR
2010
113views more  MOR 2010»
15 years 2 months ago
Projecting an Extended Formulation for Mixed-Integer Covers on Bipartite Graphs
We consider the mixed integer version of bipartite vertex cover. This is equivalent to the mixed integer network dual model, recently introduced in [2], that generalizes several m...
Michele Conforti, Laurence A. Wolsey, Giacomo Zamb...
WWW
2004
ACM
16 years 5 months ago
Through different eyes: assessing multiple conceptual views for querying web services
We present enhancements for UDDI / DAML-S registries allowing cooperative discovery and selection of Web services with a focus on personalization. To find the most useful service ...
Wolf-Tilo Balke, Matthias Wagner
AAAI
2008
15 years 5 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
EDBT
2011
ACM
199views Database» more  EDBT 2011»
14 years 8 months ago
Predicting completion times of batch query workloads using interaction-aware models and simulation
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...