1151 search results - page 83 / 231 » Collaborative Programming: Applications of Logic and Automat... |
142
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
145
Voted
ICTL
1994
15 years 7 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
138
Voted
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
129
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
128
Voted
DLOG
2011
14 years 7 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...