4737 search results - page 717 / 948 » The LOGIC negotiation model |
234
click to vote
RULEML
2005
Springer
16 years 21 days ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
206
click to vote
SEKE
2005
Springer
16 years 21 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
176
click to vote
SEMWEB
2005
Springer
2005
Springer
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
16 years 21 days ago
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
185
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
234
click to vote
NMR
2004
Springer
16 years 18 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...