Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | Georg Gottlob |
From Carnap's Modal Logic to Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 1-18, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
72 | Patrick Maher |
Explication Defended. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(2), pp. 331-341, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
explication, formal philosophy, Carnap, formal methods |
55 | Nuel Belnap |
Under Carnap's Lamp: Flat Pre-semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 1-28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
emantics, pre-semantics, Carnap, operations, meanings, truth |
55 | Georg Gottlob |
NP Trees and Carnap's Modal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 42-51, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
propositional theory, NP trees, Carnap's modal logic, general dag, logarithmic number of queries, directed graph, polynomial time, complexity classes |
51 | Benjamin R. George |
Second-Order Characterizable Cardinals and Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(3), pp. 425-449, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cardinal Characterizability, Ordinal Characterizability, Fraenkel-Carnap Question, Second-order Logic |
47 | Georg Gottlob |
NP Trees and Carnap's Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(2), pp. 421-457, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic |
43 | Tillmann von Carnap |
Poster: Mapping rural marketplaces and tracking their activity using satellite imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS ![In: COMPASS '21: ACM SIGCAS Conference on Computing and Sustainable Societies, Virtual Event, Australia, 28 June 2021 - 2 July 2021, pp. 415, 2021, ACM, 978-1-4503-8453-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
43 | Rudolf Carnap |
Value concepts (1958). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 185-194, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
43 | Yehoshua Bar-Hillel, R. Carnap, E. C. Cherry, Eugene Garfield, D. W. King, F. W. Lancaster, J. C. R. Licklider, D. M. Mackay, J. W. Perry, D. J. De S. Price, Gerard Salton, Claude E. Shannon, Mortimer Taube, B. C. Vickery, A. E. Cawkell |
Where the Action Is and Was in Information Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 25(5), pp. 340, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
43 | Rudolf Carnap |
Modalities and Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 11(2), pp. 33-64, 1946. The full citation details ...](Pics/full.jpeg) |
1946 |
DBLP DOI BibTeX RDF |
|
42 | Enrique H. Ruspini |
Epistemic Logics, Probability, and the Calculus of Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classic Works of the Dempster-Shafer Theory of Belief Functions ![In: Classic Works of the Dempster-Shafer Theory of Belief Functions, pp. 435-448, 2008, Springer, 978-3-540-25381-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Denis Bonnay, Dag Westerståhl |
Carnap's Problem for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(2), pp. 578-602, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Víctor Aranda |
Completeness: From Husserl to Carnap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 16(1-2), pp. 57-83, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Saeed Salehi |
A Reunion of Godel, Tarski, Carnap, and Rosser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.04502, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Saeed Salehi |
On the diagonal Lemma of Gödel and Carnap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(1), pp. 80-88, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Heßbrüggen-Walter |
Positivismus der geistigen Gegenstände: Carnap und die Digital Humanities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHd ![In: 7. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, DHd 2020, Paderborn, Germany, March 2 - 6, 2020, 2020, 978-3-945437-07-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Vera Flocke |
Carnap's Defense of Impredicative Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(2), pp. 372-404, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Darren J. Bradley |
Carnap's epistemological critique of metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 195(5), pp. 2247-2265, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Tommaso Flaminio |
Logics for Strict Coherence and Carnap-Regular Probability Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (2) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II, pp. 265-274, 2018, Springer, 978-3-319-91475-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Florian Steinberger |
Frege and Carnap on the normativity of logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 143-162, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Georg Schiemer |
Carnap on logic and rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 1-14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Lutz |
Carnap on empirical significance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 217-252, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Iris Loeb |
The role of universal language in the early work of Carnap and Tarski. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 15-31, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Georg Schiemer, Richard Zach, Erich H. Reck |
Carnap's early metatheory: scope and limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 33-65, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Steve Awodey |
Carnap and the invariance of logical truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(1), pp. 67-78, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Graham Leach-Krouse |
Carnap: An Open Framework for Formal Reasoning in the Browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ThEdu@CADE ![In: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017., pp. 70-88, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Harry Halpin, Alexandre Monnin |
The decentralization of knowledge: How Carnap and Heidegger influenced the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 21(12), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Iulian D. Toader |
Objectivity and understanding: a new reading of Carnap's Aufbau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 192(5), pp. 1543-1557, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Alena Vencovská |
Extending Carnap's Continuum to Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 207-217, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Iris Loeb |
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(12), pp. 2815-2833, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Peter P. Wakker |
Decision Principles to justify Carnap's Updating Method and to Suggest Corrections of Probability Judgments (Invited Talks) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.0611, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Ruurik Holm |
Infinity and verifiability in Carnap's inductive logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 11(4), pp. 487-504, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jeff B. Paris |
An observation on Carnap's Continuum and stochastic independencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 11(4), pp. 421-429, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Vít Puncochár |
Some Modifications of Carnap's Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 100(3), pp. 517-543, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Toby Meadows |
Revising Carnap's Semantic Conception of Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 100(3), pp. 497-515, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Georg Schiemer |
Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 5(4), pp. 613-641, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Geoffrey Darnton |
Meta Meta Modelling, Carnap, and Innovating Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKAIS ![In: UKAIS 2012, UK Academy for Information Systems 17th Annual Conference 2012, New College, Oxford, UK, March 26-28, 2012, pp. 22, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Hannes Leitgeb |
New life for Carnap's Aufbau? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 180(2), pp. 265-299, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Michael Friedman |
Carnap on theoretical terms: structuralism without metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 180(2), pp. 249-263, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Sandy L. Zabell |
Carnap and the Logic of Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Logic ![In: Inductive Logic, pp. 265-309, 2011, Elsevier, 978-0-444-52936-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Bonk |
Conceptions of Reality - Schlick, Carnap, Neurath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 83-93, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jan Heylen |
Carnap's Theory of Descriptions and its Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 94(3), pp. 355-380, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Oliver Kutz, Till Mossakowski, Dominik Lücke |
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 4(2), pp. 255-333, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Mormann |
New Work for Carnap's Quasi-Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 38(3), pp. 249-282, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Steven Awodey, A. W. Carus |
Carnap's dream: Gödel, Wittgenstein, and Logical, Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 159(1), pp. 23-45, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Amélie Gheerbrant, Marcin Mostowski |
Recursive complexity of the Carnap first order modal logic C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 52(1), pp. 87-94, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Warren D. Goldfarb |
On Gödel's way in: the influence of Rudolf Carnap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 11(2), pp. 185-193, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | George Weaver, Benjamin R. George |
Fraenkel-Carnap properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 51(3), pp. 285-290, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Richard Zach |
Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 46(4), pp. 503-513, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Iulian D. Toader |
A Diagrammatic Reconstruction of Carnap's Quasianalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 142(1), pp. 43-59, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Gabriella Crocco |
Gödel, Carnap and the Fregean Heritage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 137(1-2), pp. 21-41, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Norma yunez-naude |
What is Carnap's Conventionalism after all? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 137(1-2), pp. 261-272, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | George Weaver, Benjamin R. George |
The Fraenkel-Carnap question for Dedekind algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(1), pp. 92-96, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Christopher Pincock |
Russell's Influence On Carnap's Aufbau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 131(1), pp. 1-37, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Peter P. Wakker |
Decision Principles to Justify Carnap's Updating Method and to Suggest Corrections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002, pp. 544-551, 2002, Morgan Kaufmann, 1-55860-897-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | Michael Kremer 0004 |
Marti on Descriptions in Carnap'S S2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 26(6), pp. 629-634, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | William H. Berge |
Carnap and translational indeterminacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 105(1), pp. 115-121, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | David DeVidi, Graham Solomon |
Tolerance and metalanguages in Carnap'sLogical Syntax of Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 103(1), pp. 123-139, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Genoveva Martí |
Do modal distinctions collapse in Carnap's system? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 23(6), pp. 575-593, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Hugues Leblanc, Bas C. van Fraassen |
On Carnap and Popper Probability Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 44(3), pp. 369-373, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Stephen Spielman |
Carnap's robot and inductive logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 5(3), pp. 407-415, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
26 | Gerhard Tintner |
Eine Anwendung der Wahrscheinlichkeitstheorie von Carnap auf ein Problem der Unternehmensforschung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unternehmensforschung ![In: Unternehmensforschung 4(4), pp. 164-170, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
26 | Frank Harary |
Note on Carnap's Relational Asymptotic Relative Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 23(3), pp. 257-260, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
21 | Giovanni Sartor |
Legal concepts as inferential nodes and ontological categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 17(3), pp. 217-251, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Legal concepts, Ontology, Inference |
21 | Luca Bellotti |
Formalization, Syntax and the Standard Model of Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(2), pp. 199-229, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MSC 2000 00A30, 03A05, 03B10, 03E30 |
21 | Samson Abramsky |
Petri Nets, Discrete Physics, and Distributed Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 1-2, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | John F. Sowa |
Peirce's Contributions to the 21st Century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings, pp. 54-69, 2006, Springer, 3-540-35893-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jeff B. Paris, Alena Vencovská |
There Is a Reason for Everything (Probably): On the Application of Maxent to Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCII ![In: Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, pp. 180-199, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Lisa Carnahan, Gary Carver, Martha Gray, Michael Hogan, Theodore Hopp, Jeffrey Horlick, Gordon Lyon, Elena Messina |
Metrology for information technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Stand. ![In: ACM Stand. 5(3), pp. 103-109, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin |
Extensions for Open Default Theories via the Domain Closure Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 373-387, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Bruce J. MacLennan |
Overview of Relational Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 18(3), pp. 36-45, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
21 | A. Caracciolo |
Some preliminary remarks on theoretical pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(3), pp. 226-227, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|