|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Gärdenfors |
Semantics Based on Conceptual Spaces.  |
ICLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Fernando R. Velázquez-Quesada |
A Qualitative Approach to Uncertainty. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Tim French |
Becoming Aware of Propositional Variables. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis I. Saveliev |
Ultrafilter Extensions of Models. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst-Erich Doberkat |
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas |
Contextual Coalitional Games. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Sano |
First-Order Inquisitive Pair Logic. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff B. Paris, Alena Vencovská |
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani |
Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Thomas |
Infinite Games and Uniformization. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohua Banerjee, Anil Seth (eds.) |
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Priyedarshi Jetli |
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihir K. Chakraborty |
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Aquil Khan, Minghui Ma |
A Modal Logic for Multiple-Source Tolerance Approximation Spaces. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Seligman, Fenrong Liu, Patrick Girard |
Logic in the Community. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Priest |
Four Corners - East and West. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Dean, Rohit Parikh |
The Logic of Campaigning. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang |
Reasoning about Protocol Change and Knowledge. |
ICLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Maruyama |
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem |
Decisions, Actions, and Games: A Logical Perspective. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | G. S. Mahalakshmi, T. V. Geetha |
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
Indian logic, Nyaya Sastra, Reason fallacies, Argumentation, Defect |
| 1 | Igor Stéphan, Benoit Da Mota |
A Unified Framework for Certificate and Compilation for QBF. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Esko Turunen |
A Para Consistent Fuzzy Logic. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, para consistent sentential logic, MV-algebra |
| 1 | Yurii Khomskii |
A General Setting for the Pointwise Investigation of Determinacy. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Philosophical to Industrial Logics. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré |
Machine Checking Proof Theory: An Application of Logic to Logic. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Girard, Jeremy Seligman |
An Analytic Logic of Aggregation. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus |
| 1 | Emmanuel J. Genot |
Extensive Questions. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | G. S. Mahalakshmi, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan |
Gautama - Ontology Editor Based on Nyaya Logic. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
Indian logic, Nyaya Sastra, Ontology, NORM |
| 1 | Ramaswamy Ramanujam, Sundar Sarukkai (eds.) |
Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Hélène Gorisse |
The Art of Non-asserting: Dialogue with Nagarjuna. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann A. Makowsky |
Connection Matrices for MSOL-Definable Structural Invariants. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi N. Wang |
A Two-Dimensional Hybrid Logic of Subset Spaces. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
two-sorted hybrid language, logic of subset spaces, Gentzen system for hybrid logic, hybrid logic |
| 1 | Dietmar Berwanger, Sophie Pinchinat |
Game Quantification Patterns. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Landes, Jeff B. Paris, Alena Vencovská |
Instantial Relevance in Polyadic Inductive Logic. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
Instantial Relevance, Spectrum Exchangeability, Uncertain Reasoning, Probability Logic, Inductive Logic |
| 1 | Joel David Hamkins |
Some Second Order Set Theory. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benny George Kenkireth, Samrith Ram |
Towards Decidability of Conjugacy of Pairs and Triples. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Parikh |
Knowledge, Games and Tales from the East. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")