2409 search results - page 287 / 482 » Logical systems for structured specifications |
137
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
127
click to vote
IR
2007
15 years 4 months ago
2007
Documents formatted in eXtensible Markup Language (XML) are available in collections of various document types. In this paper, we present an approach for the summarisation of XML d...
161
click to vote
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
122
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
122
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...