Sciweavers

2722 search results - page 224 / 545
» Automating Language Evolution
Sort
View
144
Voted
DLOG
2008
15 years 7 months ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...
DEON
2008
Springer
15 years 6 months ago
Introducing Grades in Deontic Logics
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
Pilar Dellunde, Lluis Godo
DEON
2008
Springer
15 years 6 months ago
A Deontic Logic for Socially Optimal Norms
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
FLAIRS
2006
15 years 6 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
143
Voted
DLOG
2003
15 years 6 months ago
Rewriting Aggregate Queries using Description Logic
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
David DeHaan, David Toman, Grant E. Weddell