Sciweavers

2308 search results - page 311 / 462
» Representing Symbolic Reasoning
Sort
View
JSA
2006
103views more  JSA 2006»
15 years 6 months ago
FMESP: Framework for the modeling and evaluation of software processes
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
Félix García, Mario Piattini, Franci...
AMAI
2004
Springer
15 years 6 months ago
Extending Answer Sets for Logic Programming Agents
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
Marina De Vos, Dirk Vermeir
WS
2008
ACM
15 years 6 months ago
Managing uncertainty and vagueness in description logics for the Semantic Web
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
Thomas Lukasiewicz, Umberto Straccia
AML
2004
89views more  AML 2004»
15 years 6 months ago
The logic of equilibrium and abelian lattice ordered groups
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
Adriana Galli, Renato A. Lewin, Marta Sagastume
CAI
1998
Springer
15 years 6 months ago
Information Retrieval, Imaging and Probabilistic Logic
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
Fabrizio Sebastiani