Sciweavers

5378 search results - page 840 / 1076
» Base Logics in Argumentation
Sort
View
VDB
1998
169views Database» more  VDB 1998»
14 years 2 days ago
What You See is What You Store: Database-Driven Interfaces
Any graphical user interface (GUI) requires large amounts of complex metadata for the layout of windows and menus, their style and behavior, their bindings, etc. Designing, debugg...
Jens Thamm, Lutz Michael Wegner
IJCAI
1997
14 years 2 days ago
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
Ulrich Junker
AAAI
1994
14 years 2 days ago
Formalizing Ontological Commitment
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
SLP
1994
121views more  SLP 1994»
14 years 1 days ago
CLP(Intervals) Revisited
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
Frédéric Benhamou, David A. McAllest...
CEC
2010
IEEE
13 years 12 months ago
Principles of protein processing for a self-organising associative memory
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...
Omer Qadir, Jerry Liu, Jon Timmis, Gianluca Tempes...