460 search results - page 53 / 92 » On Role Logic |
IADIS
2003
13 years 9 months ago
2003
Web services are a logical evolution of software components and middleware. Based on a comparison of Web services with middleware and components we come up with the statement that...
TCS
2008
13 years 7 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
COLING
2002
13 years 7 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
JOLLI
2002
13 years 7 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...