國立虎尾科技大學 |

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic and its applications/ edited by Sujata Ghosh, Sanjiva Prasad.
其他題名:	7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
其他題名:	ICLA 2017
其他作者:	Ghosh, Sujata.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2017.,
面頁冊數:	x, 239 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Logic, Symbolic and mathematical - Problems, exercises, etc. -
電子資源:	http://dx.doi.org/10.1007/978-3-662-54069-5
ISBN:	9783662540695

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
Logic and its applications7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /[electronic resource] :ICLA 2017edited by Sujata Ghosh, Sanjiva Prasad. - Berlin, Heidelberg :Springer Berlin Heidelberg :2017. - x, 239 p. :ill., digital ;24 cm. - Lecture notes in computer science,101190302-9743 ;. - Lecture notes in computer science ;6140..

Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Buchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.

ISBN: 9783662540695

Standard No.: 10.1007/978-3-662-54069-5doiSubjects--Topical Terms:

580379
Logic, Symbolic and mathematical
--Problems, exercises, etc.

LC Class. No.: QA9.A1 / I24 2017

Dewey Class. No.: 511.3

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
LDR:02897nam a2200349 a 4500 001 957709
003 DE-He213
005 20161202191554.0
006 m d
007 cr nn 008maaau
008 201118s2017 gw s 0 eng d
020 $a 9783662540695 $q (electronic bk.)
020 $a 9783662540688 $q (paper)
024 7 $a 10.1007/978-3-662-54069-5 $2 doi
035 $a 978-3-662-54069-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b I24 2017
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a COM051010 $2 bisacsh
082 0 4 $a 511.3 $2 23
090 $a QA9.A1 $b I24 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Logic and its applications $h [electronic resource] : $b 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / $c edited by Sujata Ghosh, Sanjiva Prasad.
246 3 $a ICLA 2017
260 $a Berlin, Heidelberg : $c 2017. $b Springer Berlin Heidelberg : $b Imprint: Springer,
300 $a x, 239 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10119
505 0 $a Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Buchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.
520 $a This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
650 0 $a Logic, Symbolic and mathematical $v Problems, exercises, etc. $3 580379 $3 739480
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Software Engineering. $3 669632
700 1 $a Ghosh, Sujata. $3 1070650
700 1 $a Prasad, Sanjiva. $3 1103836
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-54069-5
950 $a Computer Science (Springer-11645)