-
1دورية أكاديمية
المؤلفون: Valentin Goranko
المصدر: Mathematics, Vol 10, Iss 14, p 2518 (2022)
مصطلحات موضوعية: strategic-form games, preplay offers, game transformations, negotiations and bargaining, myopic rationality, Mathematics, QA1-939
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Valentin Goranko
المصدر: Axioms, Vol 11, Iss 2, p 73 (2022)
مصطلحات موضوعية: normal form games, preplay offers, game transformations, groups of game matrix transformations, Mathematics, QA1-939
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Valentin Goranko
المصدر: Axioms, Vol 8, Iss 4, p 118 (2019)
مصطلحات موضوعية: deductive refutability, refutation systems, hybrid deduction–refutation rules, derivative hybrid rules, soundness, completeness, natural deduction, meta-proof theory, Mathematics, QA1-939
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Nils Bulling, Valentin Goranko
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 33-41 (2013)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Willem Conradie, Valentin Goranko, Dimiter Vakarelov
المصدر: Logical Methods in Computer Science, Vol Volume 2, Issue 1 (2006)
مصطلحات موضوعية: computer science - logic in computer science, f.4.1, i.2.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives
المؤلفون: Valentin Goranko
المصدر: Logics
Volume 1
Issue 1
Pages: 4-35مصطلحات موضوعية: logic, concurrent game models, socially interactive context, strategic reasoning, rational agents
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8df0106a6353f9bd02d9fe763849ddf8
https://doi.org/10.3390/logics1010003 -
7
المؤلفون: Ruaan Kellerman, Valentin Goranko
المصدر: The Journal of Symbolic Logic. 86:1035-1065
مصطلحات موضوعية: Philosophy, Logic, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c75f7a48280b5b20b9c3ab18383ba735
https://doi.org/10.1017/jsl.2021.40 -
8
المؤلفون: Valentin Goranko, Nils Bulling
المصدر: Autonomous Agents and Multi-Agent Systems. 36
مصطلحات موضوعية: Qualitative reasoning, Theoretical computer science, Artificial Intelligence, Computer science, Game models, Extension (predicate logic), State (computer science), Formal reasoning, Decidability
-
9
المؤلفون: Raine Rönnholm, Valentin Goranko, Antti Kuusisto
المصدر: Theoretical Computer Science. 797:129-155
مصطلحات موضوعية: Discrete mathematics, Soundness, General Computer Science, Finite model property, 0102 computer and information sciences, 02 engineering and technology, Alternating-time Temporal Logic, 16. Peace & justice, 01 natural sciences, Theoretical Computer Science, Computer Science::Multiagent Systems, 010201 computation theory & mathematics, Computer Science::Logic in Computer Science, Completeness (logic), Bounded function, 0202 electrical engineering, electronic engineering, information engineering, Finitary, 020201 artificial intelligence & image processing, Temporal logic, Transfinite number, Mathematics
-
10
المؤلفون: Valentin Goranko, Willem Conradie
المصدر: Outstanding Contributions to Logic ISBN: 9783030714291
مصطلحات موضوعية: Discrete mathematics, Class (set theory), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Modal, Distributive property, Simple (abstract algebra), Semantics (computer science), Computer Science::Logic in Computer Science, Modal logic, Kripke semantics, Relevance logic, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::68b190fb03d82690afcc509b4f343ecd
https://doi.org/10.1007/978-3-030-71430-7_4