654 search results - page 91 / 131 » Graph-based Knowledge Representation and Reasoning |
128
Voted
IJWET
2008
15 years 14 days ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
151
click to vote
KBS
2011
14 years 9 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
94
Voted
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
122
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
EWSPT
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...