Results 241 to 250 of about 1,092,525 (253)

Evaluation of Logic-Based Smart Contracts for Blockchain Systems

International Web Rule Symposium, 2016
Florian Idelberger, Guido Governatori, Régis Riveret, G. Sartor   +3 more
semanticscholar   +1 more source

Substantive and procedural norms in normative multiagent systems

Journal of Applied Logic, 2008
Guido Boella, Leendert Van Der Torre
exaly  

Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs

Lecture Notes in Computer Science, 2004
Linh Anh Nguyen, Nguyen Linh Anh
exaly  

How Important are Shared Perceptions of Procedural Justice in Cooperative Alliances?

Academy of Management Journal, 2005
Yadong Luo
exaly  

Towards an Algorithmic/Procedural “Human Consistency” of Decision Support Systems: A Fuzzy Logic Approach

, 1986
J. Kacprzyk
semanticscholar   +1 more source

Law, Logic, Rhetoric: A Procedural Model of Legal Argumentation

2009
Arno R Lodder
exaly  

Procedural interpretation of non-horn logic programs

2005
Jack Minker, Arcot Rajasekar, Minker Jack   +2 more
exaly  

Procedural Semantics for Hyperintensional Logic

2010
Marie Duzi, Pavel Materna
exaly  

Procedural Assignments

2002
exaly  

Unfolding, procedural and fixpoint semantics of logic programs

2005
exaly