Sciweavers

4737 search results - page 166 / 948
» The LOGIC negotiation model
Sort
View
LOGCOM
2006
64views more  LOGCOM 2006»
13 years 9 months ago
A Logic of Probability with Decidable Model Checking
Danièle Beauquier, Alexander Moshe Rabinovi...
NECO
2006
69views more  NECO 2006»
13 years 9 months ago
Programmable Logic Construction Kits for Hyper-Real-Time Neuronal Modeling
Ruben Guerrero-Rivera, Abigail Morrison, Markus Di...
SLOGICA
2008
76views more  SLOGICA 2008»
13 years 9 months ago
Infinitary Action Logic: Complexity, Models and Grammars
Wojciech Buszkowski, Ewa Palka
SYNTHESE
2008
62views more  SYNTHESE 2008»
13 years 9 months ago
Modelling simultaneous games in dynamic logic
Johan van Benthem, Sujata Ghosh, Fenrong Liu
CSUR
2000
41views more  CSUR 2000»
13 years 9 months ago
Logical models of argument
Carlos Iván Chesñevar, Ana Gabriela ...