Sciweavers

1368 search results - page 151 / 274
» Personality-Based Practical Reasoning
Sort
View
DESRIST
2010
Springer
229views Education» more  DESRIST 2010»
15 years 6 months ago
Comparing Two Software Design Process Theories
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
Paul Ralph
CSE
2009
IEEE
15 years 6 months ago
Adapting Privacy-Preserving Computation to the Service Provider Model
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
Florian Kerschbaum
AAAI
2007
15 years 5 months ago
Intention Guided Belief Revision
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
Timothy William Cleaver, Abdul Sattar
AAAI
2008
15 years 5 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko
AAAI
2008
15 years 5 months ago
Grounding with Bounds
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
Johan Wittocx, Maarten Mariën, Marc Denecker