4737 search results - page 150 / 948 » The LOGIC negotiation model |
118
click to vote
DLOG
2010
15 years 1 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
141
click to vote
ANOR
2005
15 years 3 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
110
click to vote
MEMICS
2010
14 years 10 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
124
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
102
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...