2303 search results - page 412 / 461 » On the logic of argumentation theory |
166
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
207
click to vote
PPSWR
2005
Springer
16 years 9 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
168
click to vote
PLDI
2004
ACM
16 years 7 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
160
click to vote
CAV
2004
Springer
16 years 7 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
178
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...