2152 search results - page 299 / 431 » On Automating the Calculus of Relations |
103
Voted
ICT
2004
Springer
15 years 6 months ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
104
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
106
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
110
click to vote
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
102
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...