653 search results - page 5 / 131 » Partial equilibrium logic |
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
Lecture Notes
These lecture notes cover several topics such as Consumer Theory Basics, The Traditional Approach To Consumer Theory, Topics in Consumer Theory,
Producer Theory, Choice Under Unce...
JBCB
2007
13 years 7 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
AAAI
2006
13 years 9 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...