Search results for "class"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Arnon Avron	Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Gemma Robles, José M. Méndez	The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Leila Amgoud, Philippe Besnard, Srdjan Vesic	Equivalence in logic-based argumentation.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Thomas Macaulay Ferguson	A computational interpretation of conceptivism.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Erica Calardo, Antonino Rotolo	Variants of multi-relational semantics for propositional non-normal modal logics.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Sergey L. Kuznetsov	Trivalent logics arising from L-models for the Lambek calculus with constants.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Heather Burnett	Penumbral connections in comparative constructions.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Lloyd Humberstone	Prior's OIC nonconservativity example revisited.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Hadja Faiza Khellaf-Haned, Salem Benferhat	Quantitative possibility theory: logical- and graphical-based representations.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Rafal Urbaniak, Pawel Sinilo	The inapplicability of (selected) paraconsistent logics.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard	Modeling the suppression task under weak completion and well-founded semantics.	J. Appl. Non Class. Logics	2014	DBLP DOI BibTeX RDF
16	Thomas Eiter, Michael Fink 0001, Jörg Pührer, Hans Tompits, Stefan Woltran	Model-based recasting in answer-set programming.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Stefania Costantini, Andrea Formisano 0001	RASP and ASP as a fragment of linear logic.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Axel Polleres, Johannes Peter Wallner	On the relation between SPARQL1.1 and Answer Set Programming.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Emiliano Lorini	Temporal STIT logic and its application to normative reasoning.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	N. V. Mayatskiy, Sergei P. Odintsov	On deductive bases for paraconsistent answer set semantics.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Michael Gelfond, Daniela Inclezan	Some properties of system descriptions of ALd.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned, Henri Prade	Multiple agent possibilistic logic.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	David Pearce 0001, Levan Uridia	Algebraic semantics for modal and superintuitionistic non-monotonic logics.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Pedro Cabalar, Agustín Valverde	Foreword.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Leila Amgoud, Philippe Besnard	Logical limits of abstract argumentation frameworks.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Oliver Friedmann, Martin Lange	Deciding the unguarded modal µ-calculus.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Norihiro Kamide	Representing any-time and program-iteration by infinitary conjunction.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Stefano Baratella, Andrea Masini	A natural deduction system for bundled branching time logic.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	José Júlio Alferes, Ricardo Gonçalves 0001, João Leite 0001	Equivalence of defeasible normative systems.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Panos Rondogiannis, Antonis Troumpoukis	The infinite-valued semantics: overview, recent results and future directions.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Vladimir Lifschitz, Fangkai Yang	Functional completion.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez 0001, Concepción Vidal	Temporal equilibrium logic: a survey.	J. Appl. Non Class. Logics	2013	DBLP DOI BibTeX RDF
16	Hans van Ditmarsch, Andreas Herzig, Tiago de Lima	Public announcements, public assignments and the complexity of their logic.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer	Regulating competing coalitions: a logic for socially optimal group choices.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier	Programming norm change.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Christian Straßer	Adaptively applying modus ponens in conditional logics of normality.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Natasha Alechina, Philippe Balbiani, Dmitry Shkatov	Modal logics for reasoning about infinite unions and intersections of binary relations.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Jean-Yves Béziau, Alexandre Costa-Leite	Foreword.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Umberto Rivieccio	An infinity of super-Belnap logics.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Yaroslav Kokhan	Semantic presuppositions in logical syntax.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Karim Nour, Khelifa Saber	Some properties of the -calculus.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Décio Krause, Jonas R. Becker Arenhart	A discussion on quantum non-individuality.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Boris Kovalerchuk, Leonid I. Perlovsky, Gregory R. Wheeler	Modelling phenomena and dynamic logic of phenomena.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Davide Grossi	Foreword.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Xiaocong Fan, John Yen	Intentions and potential intentions revisited.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Kordula Swietorzecka, Johannes Czermak	Some calculus for a logic of change.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Manfred Kerber, Michael Kohlhase	Reasoning without believing: on the mechanisation of presuppositions and partiality.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Marcin Jan Schroeder	Search for syllogistic structure of semantic information.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Helio Rebello Cardoso Jr.	Peirce's mathematical-logical approach to discrete collections and the premonition of continuity.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Guillaume Aucher	DEL-sequents for regression and epistemic planning.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Kenji Tokuo	Linearity and negation.	J. Appl. Non Class. Logics	2012	DBLP DOI BibTeX RDF
16	Emiliano Lorini	From self-regarding to other-regarding agents in strategic games: a logical analysis.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Axiomatization and completeness of lexicographic products of modal logics.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Lorenz Demey	Some remarks on the model theory of epistemic plausibility models.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Konstantinos Georgatos	Updating knowledge using subsets.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Samuel Bucheli, Roman Kuznets, Thomas Studer	Justifications for common knowledge.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	B. Rodenhäuser	A logic for extensional protocols.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Jan Maluszynski, Andrzej Szalas	Logical foundations and complexity of 4QL, a query language with unrestricted negation.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas	Converse-PDL with regular inclusion axioms: a framework for MAS logics.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Dimitar P. Guelev, Catalin Dima, Constantin Enea	An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Ido Ben-Zvi, Yoram Moses	On interactive knowledge with bounded communication.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Sara L. Uckelman	Deceit and indefeasible knowledge: the case of dubitatio.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Jan van Eijck, Floor Sietsma, Yanjing Wang 0001	Composing models.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Thomas Bolander, Mikkel Birkegaard Andersen	Epistemic planning for single and multi-agent systems.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek	Foreword.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica	Question-answer games.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Paola Villa	KALC : a constructive semantics for ALC.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Dale Jacquette	Some monkey devours every raisin.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Franklin Camacho, Ramón Pino Pérez	Dominance plausible rule and transitivity.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Guillaume Aucher	DEL-sequents for progression.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska	Dual tableau-based decision procedures for relational logics with restricted composition operator.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Valentin Goranko, Wojciech Jamroga	Foreword.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
16	Didier Galmiche, Yakoub Salhi	Label-free natural deduction systems for intuitionistic and classical modal logics.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Suman Roy 0001	A duration calculus with neighborhood modalities.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Dov M. Gabbay, Karl Schlechta	Semantic interpolation.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Hans van Ditmarsch, Jan van Eijck, William Wu	Verifying one hundred prisoners and a lightbulb.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Manfred Kudlek	On Hamblin's 15 Tense Theorem.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Silvio Ghilardi	Continuity, freeness, and filtrations.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Foreword.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen	Model-checking CTL* over flat Presburger counter systems.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Bernhard Heinemann	Logics for multi-subset spaces.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Mark Reynolds 0001	Metric temporal reasoning with less than two clocks.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig	Foreword.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Marcus Kracht	Judgment and consequence relations.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Leendert W. N. van der Torre	Violation games: a new foundation for deontic logic.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Sergei P. Odintsov, Heinrich Wansing	Modal logics with Belnapian truth values.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Andrea Masini, Luca Viganò 0001, Marco Volpe 0001	Back from the future.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Salem Benferhat, Karima Sedki	An alert correlation approach based on security operator's knowledge and preferences.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Serenella Cerrito, Marta Cialdea Mayer	An efficient approach to nominal equalities in hybrid logic tableaux.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak	Some modal aspects of XPath.	J. Appl. Non Class. Logics	2010	DBLP DOI BibTeX RDF
16	Tarek Sayed Ahmed	On a theorem of Vaught for first order logic with finitely many variables.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Linh Anh Nguyen	Modal logic programming revisited.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Juliana Bueno-Soler	Completeness and incompleteness for anodic modal logics.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Jan M. Broersen, Andreas Herzig, Nicolas Troquard	What groups do, can do, and know they can do: an analysis in normal modal logics.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Dov M. Gabbay, Karl Schlechta	Roadmap for preferential logics.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Tamara Babaian, James G. Schmolze	Practical reasoning about knowledge states for open world planning with sensing.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis	Handling controversial arguments.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Simon Kramer 0001, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun	A quantitative doxastic logic for probabilistic processes and applications to information-hiding.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Gemma Robles	Relevance logics and intuitionistic negation II.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Stanislav Kikot	An extension of Kracht's theorem to generalized Sahlqvist formulas.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera	Abduction via C-tableaux and delta-resolution.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Ioana Boureanu, Mika Cohen, Alessio Lomuscio	Automatic verification of temporal-epistemic properties of cryptographic protocols.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Egon van Baars, Rineke Verbrugge	A communication algorithm for teamwork in multi-agent environments.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF