The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for paraconsistency with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2001 (15) 2002-2005 (19) 2006-2009 (16) 2010-2013 (30) 2014-2015 (19) 2016-2019 (15) 2020-2023 (11)
Publication types (Num. hits)
article(57) book(3) incollection(34) inproceedings(31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 21 keywords

Results
Found 125 publication records. Showing 125 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
94Carl Hewitt Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency. Search on Bibsonomy COIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
88Hendrik Decker Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. Search on Bibsonomy Semantics in Databases The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
78Edwin D. Mares Information, Negation, and Paraconsistency. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
67Philippe Besnard, Paul Wong Modal (Logic) Paraconsistency. Search on Bibsonomy ECSQARU The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Suryanil Ghosh Paraconsistency and Beyond: A New Approach to Inconsistency Handling. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
54Ross T. Brady, Andrea Meinander Distribution in the Logic of Meaning Containment and in Quantum Mechanics. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Walter Alexandre Carnielli, Marcelo E. Coniglio On Discourses Addressed by Infidel Logicians. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Patrick Allo Noisy vs. Merely Equivocal Logics. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Michèle Friend Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Diderik Batens New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Zach Weber Notes on Inconsistent Set Theory. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis An Approach to Human-Level Commonsense Reasoning. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Ray E. Jennings, Yue Chen FDE: A Logic of Clutters. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Bryson Brown Consequence as Preservation: Some Refinements. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Francesco Berto Wittgenstein on Incompleteness Makes Paraconsistent Sense. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54David Ripley Sorting out the Sorites. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Francesco Paoli A Paraconsistent and Substructural Conditional Logic. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Koji Tanaka Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Chris Mortensen Arithmetic Starred. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Graham Priest Vague Inclosures. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Marek Nasieniewski, Andrzej Pietruszczak On Modal Logics Defining Jaśkowski's D2-Consequence. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Greg Restall Assertion, Denial and Non-classical Theories. Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
54Dominic Hyde Are the Sorites and Liar Paradox of a Kind? Search on Bibsonomy Paraconsistency: Logic and Applications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
49Jair Minoro Abe, Seiki Akama Annotated Temporal Logics Delta*tau. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
49Roderic A. Girle Tableaux for Expansion and Contraction. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF belief revision, tableaux, paraconsistency
48Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu Constructive Discursive Logic: Paraconsistency in Constructivism. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
45John K. Slaney Relevant Logic and Paraconsistency. Search on Bibsonomy Inconsistency Tolerance The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Fahim T. Imam, Wendy MacCaull Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-valued logic, Ontology integration, paraconsistency
27Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno A logical expression of reasoning. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
27Jair Minoro Abe, Kazumi Nakamatsu Manipulating Paraconsistent Knowledge in Multi-agent Systems. Search on Bibsonomy KES-AMSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF knowledge and paraconsistency, distributed systems, multi-agents, Annotated logics
24Bozena Czernecka-Rej Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €. Search on Bibsonomy Stud Logica The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Diana Costa 0001, Daniel Figueiredo 0001, Manuel A. Martins 0001 Relation-changing models meet paraconsistency. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Yakoub Salhi, Michael Sioutis A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. Search on Bibsonomy ECAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24María del Rosario Martínez-Ordaz A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences. Search on Bibsonomy Logica Universalis The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Sankha S. Basu, Sayantan Roy Negation-Free Definitions of Paraconsistency. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Sankha S. Basu, Mihir K. Chakraborty Restricted Rules of Inference and Paraconsistency. Search on Bibsonomy Log. J. IGPL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Jonas Rafael Becker Arenhart The evidence approach to paraconsistency versus the paraconsistent approach to evidence. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Sankha S. Basu, Mihir K. Chakraborty Restricted Rules of Inference and Paraconsistency. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Hiroyuki Kido 0001, Keishi Okamoto Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Arnon Avron, Anna Zamansky Paraconsistency, self-extensionality, modality. Search on Bibsonomy Log. J. IGPL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues Recovery operators, paraconsistency and duality. Search on Bibsonomy Log. J. IGPL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Walter Carnielli, Abilio Rodrigues An epistemic approach to paraconsistency: a logic of evidence and truth. Search on Bibsonomy Synth. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Michal Walicki, Sjur K. Dyrkolbotn Paraconsistency, resolution and relevance. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Arnon Avron Paraconsistency and the need for infinite semantics. Search on Bibsonomy Soft Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Gabriele Pulcini, Achille C. Varzi Paraconsistency in classical logic. Search on Bibsonomy Synth. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Evandro Luís Gomes Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary Handling Paraconsistency and Paracompleteness in Robotics. Search on Bibsonomy INISTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Search on Bibsonomy Reports Math. Log. The full citation details ... 2017 DBLP  BibTeX  RDF
24Diana Costa 0001, Manuel A. Martins 0001 Paraconsistency in hybrid logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. Search on Bibsonomy KES-IDT (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Diana Grooters, Henry Prakken Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Tiantian Gao, Paul Fodor, Michael Kifer Paraconsistency and Word Puzzles. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
24Anders Schlichtkrull, Jørgen Villadsen Paraconsistency. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2016 DBLP  BibTeX  RDF
24Tiantian Gao, Paul Fodor, Michael Kifer Paraconsistency and word puzzles. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide, Daiki Koizumi Method for Combining Paraconsistency and Probability in Temporal Reasoning. Search on Bibsonomy J. Adv. Comput. Intell. Intell. Informatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Tetsuya Murai, Yasuo Kudo, Seiki Akama Paraconsistency, Chellas's Conditional Logics, and Association Rules. Search on Bibsonomy Towards Paraconsistent Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Jonas R. Becker Arenhart Liberating Paraconsistency from Contradiction. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Jan A. Bergstra, Inge Bethke Note on paraconsistency and reasoning about fractions. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera Paraconsistency properties in degree-preserving fuzzy logics. Search on Bibsonomy Soft Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Jair Minoro Abe (eds.) Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency Search on Bibsonomy 2015 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide, Daiki Koizumi Combining Paraconsistency and Probability in CTL. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
24Cláudio Rodrigo Torres, Régis Reis The New Hardware Structure of the Emmy II Robot. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Fábio Romeu de Carvalho Paraconsistent Logic in Decision Making: Paraconsistent Decision Method (PDM). Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Sheila Souza, Jair Minoro Abe Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Euro de Barros Couto Junior A Suggestion for Sample Size Determination Using an Instrument for Collecting Medical Data Based on Discrete Items. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24João Inácio da Silva Filho, Irapajy da Silva Caetano, Floriana Nascimento Pontes, Maurício Conceição Mário, Jair Minoro Abe, Fábio Giordano Paraconsistent Logic Algorithms Applied to Seasonal Comparative Analysis with Biomass Data Extracted by the Fouling Process. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama Paraconsistent Annotated Logic Program EVALPSN and Its Applications. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Jair Minoro Abe, Helder Frederico da Silva Lopes, Renato Anghinah Paraconsistent Neurocomputing and Biological Signals Analysis. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Maurício Conceição Mário, Marcílio Dias Lopes, Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, José Carlos Morilla, Clóvis Misseno Da Cruz, Jair Minoro Abe, Cláudio Rodrigo Torres, Deovaldo de Moraes Júnior An Algorithmic Method Supported by Paraconsistent Annotated Logic Applied to the Determination of Friction Factors for Turbulent Flow in Smooth Pipes. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Jair Minoro Abe Paraconsistent Logics: Preamble. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Paulo Henrique Ferraz Masotti, Roberto Navarro de Mesquita Paraconsistent Logic Study of Image Focus in Cylindrical Refraction Experiments. Search on Bibsonomy Paraconsistent Intelligent-Based Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Jan A. Bergstra, Inge Bethke Note on paraconsistency and the logic of fractions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
24Arnon Avron Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24José Luis Castiglioni, Rodolfo Cristian Ertola Biraben Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. Search on Bibsonomy Log. J. IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Jesse Alama A machine-assisted view of paraconsistency. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
24András Kertész, Csilla Rákosi Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds.) Paraconsistency: Logic and Applications Search on Bibsonomy 2013 DBLP  DOI  BibTeX  RDF
24Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera Exploring Paraconsistency in Degree-Preserving Fuzzy Logics. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Gemma Robles Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. Search on Bibsonomy Reports Math. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
24Graham Priest Realism, Antirealism, and Paraconsistency. Search on Bibsonomy The Realism-Antirealism Debate in the Age of Alternative Logics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Vladimir L. Vasyukov Paraconsistency in Categories: Case of Relevance Logic. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Ofer Arieli, Arnon Avron, Anna Zamansky Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Can Baskent Paraconsistency and Topological Semantics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
24Peter Verdée Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide, Heinrich Wansing Combining linear-time temporal logic with constructiveness and paraconsistency. Search on Bibsonomy J. Appl. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Carl Hewitt Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
24Gemma Robles, José M. Méndez Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Luis Estrada-González, Claudia Olmedo-García Can Paraconsistency Replace Non-Monotonicity? Search on Bibsonomy LA-NMR The full citation details ... 2009 DBLP  BibTeX  RDF
24Carl Hewitt Common sense for concurrency and strong paraconsistency using unstratified inference and reflection Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
24Otávio A. S. Bueno, Newton C. A. da Costa Quasi-truth, paraconsistency, and the foundations of science. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality
24Andrew David Irvine John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Graham Priest Paraconsistency and dialetheism. Search on Bibsonomy The Many Valued and Nonmonotonic Turn in Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Eduardo Ariza, José Arrazola Analysis of the paraconsistency in some logics. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
24Joke Meheus An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency. Search on Bibsonomy J. Philos. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Ricardo Sousa Silvestre Modality, Paraconsistency and Paracompleteness. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
24Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska Socratic Proofs and Paraconsistency: A Case Study. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Socratic proofs, logic of questions, paraconsistent logics
24Chris Mortensen, P. Quigley Cubic Logic, Ulam Games, and Paraconsistency. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Jørgen Villadsen Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Claudio Pizzi Aristotle's Thesis between paraconsistency and modalization. Search on Bibsonomy J. Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Arnon Avron Combining classical logic, paraconsistency and relevance. Search on Bibsonomy J. Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 125 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license