630 search results - page 60 / 126 » Combining Two Formalism for Reasoning about Concepts |
173
click to vote
OOPSLA
2007
Springer
16 years 30 min ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
179
click to vote
ATAL
2009
Springer
16 years 13 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
162
click to vote
JAR
2007
15 years 5 months ago
2007
To use description logics (DLs) in an application, it is crucial to identify a DL that is sufficiently expressive to represent the relevant notions of the application domain, but f...
138
click to vote
ESWS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
152
click to vote
SAC
2009
ACM
16 years 20 days ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...