×

Found 44 Documents (Results 1–44)

Formalizing commitment-based deals in Boolean games. (English) Zbl 1396.91020

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 329-337 (2016).
MSC:  91A12 91A06
PDFBibTeX XMLCite
Full Text: DOI

Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. (English) Zbl 1334.03002

New York, NY: Springer (ISBN 978-1-4939-3222-1/hbk; 978-1-4939-3223-8/ebook). xii, 391 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

A cooperation logic for declaration structures. (English) Zbl 1196.68246

He, Xiangdong (ed.) et al., Logic, rationality, and interaction. Second international workshop, LORI 2009, Chongqing, China, October 8–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04892-0/pbk). Lecture Notes in Computer Science 5834. Lecture Notes in Artificial Intelligence, 189-197 (2009).
MSC:  68T27 68T42 91A40
PDFBibTeX XMLCite
Full Text: DOI

Dependencies between players in Boolean games. (English) Zbl 1148.91300

Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 743-754 (2007).
MSC:  91A10 03B05
PDFBibTeX XMLCite
Full Text: DOI

An introduction to game logic. (English) Zbl 0967.03021

Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 69-84 (2000).
PDFBibTeX XMLCite

Randomized and deterministic local search for SAT and scheduling problems. (English) Zbl 0912.68020

Pardalos, Panos (ed.) et al., Randomization methods in algorithm design. DIMACS workshop, Princeton Univ., NJ, USA, December 12–14, 1997. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 43, 61-108 (1999).
PDFBibTeX XMLCite

Awareness and partitional informational structures. (English) Zbl 0947.91503

Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 151-168 (1997).
PDFBibTeX XMLCite

Parallel algorithms for satisfiability (SAT) problem. (English) Zbl 0833.68059

Pardalos, Panos M. (ed.) et al., Parallel processing of discrete optimization problems. Proceedings of a DIMACS workshop, April 28-29, 1994, Rutgers University, New Brunswick, NJ, USA. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 22, 105-161 (1995).
MSC:  68W15 03B05 91B06 68T15 68Q42 90C27
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software