4617 search results - page 852 / 924 » Automation of Diagrammatic Reasoning |
176
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
192
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
210
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
199
Voted
UML
2004
Springer
16 years 3 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
184
click to vote
IEEEICCI
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...