4257 search results - page 315 / 852 » The Logical Modularity of Programs |
172
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
169
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
161
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
205
click to vote
AUSAI
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
154
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...