4617 search results - page 602 / 924 » Automation of Diagrammatic Reasoning |
182
Voted
DLOG
2007
15 years 9 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
237
click to vote
DLOG
2007
15 years 9 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
173
Voted
DEON
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
181
Voted
DEON
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we reconsider the definition of counts-as relations in normative multiagent systems: counts-as relations do not always provide directly act interpretation of brute fa...
230
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...