2540 search results - page 63 / 508 » Abstract Logics as Dialgebras |
155
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
153
click to vote
PRIMA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
184
click to vote
ICCS
2005
Springer
15 years 12 months 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...
167
click to vote
EMISA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
166
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...