3408 search results - page 136 / 682 » Logic, language, information and computation |
187
Voted
IJCAI
2001
15 years 8 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
166
Voted
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
203
Voted
ICCS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
213
Voted
RWEB
2010
Springer
15 years 5 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
168
click to vote
ACMSE
2005
ACM
16 years 17 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...