Sciweavers

5499 search results - page 115 / 1100
» Generalized Rewrite Theories
Sort
View
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
15 years 9 months ago
Control of biomimetic locomotion via averaging theory
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
Patricio A. Vela, Joel W. Burdick
AAAI
1998
15 years 5 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 4 months ago
Propositional theories are strongly equivalent to logic programs
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
Pedro Cabalar, Paolo Ferraris
RULEML
2010
Springer
15 years 2 months ago
Superiority Based Revision of Defeasible Theories
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
Guido Governatori, Francesco Olivieri, Simone Scan...
ALDT
2009
Springer
153views Algorithms» more  ALDT 2009»
15 years 11 months ago
Game Theory without Decision-Theoretic Paradoxes
Most work in game theory is conducted under the assumption that the players are expected utility maximizers. Expected utility is a very tractable decision model, but is prone to w...
Pierfrancesco La Mura