國立高雄大學圖資館 |

Language: English

Back

Logic and its applications7th Indian...

(1998 :)

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and its applicationsedited by Sujata Ghosh, Sanjiva Prasad.
Reminder of title:	7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
remainder title:	ICLA 2017
other author:	Ghosh, Sujata.
corporate name:
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg :2017.
Description:	x, 239 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical
Online resource:	http://dx.doi.org/10.1007/978-3-662-54069-5
ISBN:	9783662540695$q(electronic bk.)

Logic and its applications7th 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 ;4891..

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$q(electronic bk.)

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

254195
Logic, Symbolic and mathematical

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

Dewey Class. No.: 511.3

Logic and its applications7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
LDR:02897nmm a2200349 a 4500 001 506130
003 DE-He213
005 20161202191554.0
006 m d
007 cr nn 008maaau
008 171030s2017 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2017.
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 $3 254195
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Software Engineering. $3 274511
700 1 $a Ghosh, Sujata. $3 732860
700 1 $a Prasad, Sanjiva. $3 468032
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-54069-5
950 $a Computer Science (Springer-11645)