1151 search results - page 62 / 231 » Collaborative Programming: Applications of Logic and Automat... |
136
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
132
Voted
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
156
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
126
Voted
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
172
Voted
LPAR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...