3679 search results - page 15 / 736 » Answer set based design of knowledge systems |
110
click to vote
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
SEKE
2001
Springer
15 years 4 months ago
2001
Springer
This talk takes the Experience Factory concept, which was originally developed as organizational support for software development and generalizes it to organizational support for ...
132
click to vote
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
110
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...