Search results for "Barwise"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Vladimir V. Rybakov	Barwise's information frames and modal logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
52	Gerard Allwein	A qualitative framework for Shannon information theories.	NSPW	2004	DBLP DOI BibTeX RDF	barwise-seligman information theory, shannon information theory
49	Keith Stenning	Jon Barwise: A Heterogeneous Appreciation.	Diagrams	2000	DBLP DOI BibTeX RDF
40	Gustavo Adrian Bodanza, Fernando A. Tohmé	Local Logics, Non-Monotonicity and Defeasible Argumentation.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	local logics, non-monotonicity, Defeasible argumentation
40	W. Marco Schorlemmer, Yannis Kalfoglou	Progressive ontology alignment for meaning coordination: an information-theoretic foundation.	AAMAS	2005	DBLP DOI BibTeX RDF	meaning coordination, theory of information flow, ontologies, semantic interoperability
40	Grit Malik	An Extension of the Theory of Information Flow to Semiconcept and Protoconcept Graphs.	ICCS	2004	DBLP DOI BibTeX RDF
33	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Stud Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
33	Amelia K. Barwise, Susan Curtis, Daniel Diedrich, Brian W. Pickering	Using artificial intelligence to promote equitable care for inpatients with language barriers and complex medical needs: clinical stakeholder perspectives.	J. Am. Medical Informatics Assoc.	2024	DBLP DOI BibTeX RDF
33	Svetlana Herasevich, Yuliya Pinevich, Heidi L. Lindroth, Vitaly Herasevich, Brian W. Pickering, Amelia K. Barwise	Who needs clinician attention first? A qualitative study of critical care clinicians' needs that enable the prioritization of care for populations of acutely ill patients.	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
33	Xiang Zhong, Farnaz Babaie Sarijaloo, Aditya Mahadev Prakash, Jaeyoung Park, Chanyan Huang, Amelia K. Barwise, Vitaly Herasevich, Ognjen Gajic, Brian W. Pickering, Yue Dong 0003	A multidisciplinary approach to the development of digital twin models of critical care delivery in intensive care units.	Int. J. Prod. Res.	2022	DBLP DOI BibTeX RDF
33	Jalal Soleimani, Yuliya Pinevich, Amelia K. Barwise, Chanyan Huang, Yue Dong 0003, Vitaly Herasevich, Ognjen Gajic, Brian W. Pickering	Feasibility and Reliability Testing of Manual Electronic Health Record Reviews as a Tool for Timely Identification of Diagnostic Error in Patients at Risk.	Appl. Clin. Inform.	2020	DBLP DOI BibTeX RDF
33	Amelia K. Barwise, Aaron Leppin, Yue Dong, Ognjen Gajic, Brian W. Pickering, Ashok Kumbamu	The Role of the Electronic Medical Record in Diagnostic Error and Delay: A Qualitative Study of Acute Care Clinician Insights.	AMIA	2020	DBLP BibTeX RDF
33	Amelia K. Barwise, Sean Caples, Jeffrey Jensen, Brian W. Pickering, Vitaly Herasevich	Information needs for the rapid response team electronic clinical tool.	BMC Medical Informatics Decis. Mak.	2017	DBLP DOI BibTeX RDF
33	Amelia K. Barwise, Lisbeth Y. Garcia Arguello, Yue Dong 0003, Manasi Hulyalkar, Marija Vukoja, Marcus J. Schultz, Neill K. J. Adhikari, Benjamin Bonneton, Oguz Kilickaya, Rahul Kashyap, Ognjen Gajic, Christopher N. Schmickl	Checklist for Early Recognition and Treatment of Acute Illness (CERTAIN): evolution of a content management system for point-of-care clinical decision support.	BMC Medical Informatics Decis. Mak.	2016	DBLP DOI BibTeX RDF
33	Charat Thongprayoon, Amelia K. Barwise, Andrew M. Harrison, Brian W. Pickering, Vitaly Herasevich	Mapping APACHE IV "Reason for Intensive Care Admission" Classification to SNOWMED CT.	AMIA	2015	DBLP BibTeX RDF
33	Michael D. Barwise	Improving Assurance of Information Security Rol.	ISSE	2006	DBLP DOI BibTeX RDF
33	Anita Elberse, Patrick Barwise, Kathy Hammond	The impact of the internet on horizontal and vertical competition: Market efficiency and value chain reconfiguration.	The Economics of the Internet and E-commerce	2002	DBLP DOI BibTeX RDF
33	Jon Barwise, Johan van Benthem	Interpolation, Preservation, and Pebble Games.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
33	Jon Barwise, Lawrence S. Moss	Modal Correspondence for Models.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
33	Jon Barwise	An Architecture for Heterogeneous Reasoning (Invited Talk).	TARK	1998	DBLP BibTeX RDF
33	Calvin R. Maurer Jr., Derek L. G. Hill, Robert J. Maciunas, John A. Barwise, J. Michael Fitzpatrick, Matthew Y. Wang	Measurement of Intraoperative Brain Surface Deformation Under a Craniotomy.	MICCAI	1998	DBLP DOI BibTeX RDF
33	Jon Barwise	Information and Impossibilities.	Notre Dame J. Formal Log.	1997	DBLP DOI BibTeX RDF
33	Derek L. G. Hill, Calvin R. Maurer Jr., Matthew Y. Wang, Robert J. Maciunas, John A. Barwise, J. Michael Fitzpatrick	Estimation of intraoperative brain surface movement.	CVRMed	1997	DBLP DOI BibTeX RDF
33	Jon Barwise, Lawrence S. Moss	Vicious circles - on the mathematics of non-wellfounded phenomena.		1996	RDF
33	Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas	On the Logic of Information Flow.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
33	Jon Barwise	Editorial.	J. Log. Comput.	1993	DBLP DOI BibTeX RDF
33	Jon Barwise, John Etchemendy	The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition.		1993	RDF
33	Jon Barwise, Jerry Seligman	Imperfect information flow	LICS	1993	DBLP DOI BibTeX RDF
33	Jon Barwise	Heterogeneous Reasoning.	ICCS	1993	DBLP DOI BibTeX RDF
33	Kären Wieckert, Nino B. Cocchiarella, Jon Barwise	Book reviews.	Minds Mach.	1991	DBLP DOI BibTeX RDF
33	Jon Barwise	Information Links in Domain Theory.	MFPS	1991	DBLP DOI BibTeX RDF
33	Jon Barwise	Hyperproof: An Excursion in Situated Logic.	NACLP	1990	DBLP BibTeX RDF
33	Jon Barwise	The situation in logic.		1989	RDF
33	K. Jon Barwise, Richmond H. Thomason	Logic and Linguistics Meeting, Stanford, 1987.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
33	Jon Barwise	Three Views of Common Knowledge.	TARK	1988	DBLP BibTeX RDF
33	Jon Barwise, Solomon Feferman, David Israel	Meeting of the Association for Symbolic Logic: Stanford, California, 1985.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
33	Jon Barwise	Information and circumstance.	Notre Dame J. Formal Log.	1986	DBLP DOI BibTeX RDF
33	Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis	Meeting of the Association for Symbolic Logic: San Francisco, 1981.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
33	Jon Barwise, Robert I. Soare, Terrence Millar	Meeting of the Association for Symbolic Logic: Milwaukee, 1981.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
33	Jon Barwise	The role of the Omitting Types Theorem in infinitary logic.	Arch. Math. Log.	1981	DBLP DOI BibTeX RDF
33	Jon Barwise	Some Computational Aspects of Situation Semantics.	ACL	1981	DBLP BibTeX RDF
33	John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis	The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
33	Jon Barwise	On branching quantifiers in English.	J. Philos. Log.	1979	DBLP DOI BibTeX RDF
33	Jon Barwise, Yiannis N. Moschovakis	Global Inductive Definability.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
33	Jon Barwise, Kenneth Kunen, Joseph S. Ullian	Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
33	Solomon Feferman, Jon Barwise, Leo Harrington	Meeting of the Association for Symbolic Logic: Reno, 1976.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
33	Jon Barwise	On Moschovakis Closure Ordinals.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
33	Jon Barwise, John S. Schlipf	An Introduction to Recursively Saturated and Resplendent Models.	J. Symb. Log.	1976	DBLP DOI BibTeX RDF
33	Anil Nerode, K. Jon Barwise	Meeting of the Association for Symbolic Logic.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
33	K. Jon Barwise	The Hanf Number of Second Order Logic.	J. Symb. Log.	1972	DBLP DOI BibTeX RDF
33	K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis	The Next Admissible Set.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
33	Jon Barwise	Infinitary Logic and Admissible Sets.	J. Symb. Log.	1969	DBLP DOI BibTeX RDF
33	Jon Barwise	Applications of Strict Pi11 Predicates to Infinitary Logic.	J. Symb. Log.	1969	DBLP DOI BibTeX RDF
30	Axel Marmoret, Jérémy E. Cohen, Frédéric Bimbot	Barwise Music Structure Analysis with the Correlation Block-Matching Segmentation Algorithm.	Trans. Int. Soc. Music. Inf. Retr.	2023	DBLP DOI BibTeX RDF
30	Axel Marmoret, Jérémy E. Cohen, Frédéric Bimbot	Barwise Music Structure Analysis with the Correlation Block-Matching Segmentation Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
30	Axel Marmoret, Jérémy E. Cohen, Frédéric Bimbot	Barwise Compression Schemes for Audio-Based Music Structure Analysis.	CoRR	2022	DBLP BibTeX RDF
30	Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida	On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory.	CoRR	2022	DBLP DOI BibTeX RDF
30	Ali Enayat	Set theoretical analogues of the Barwise-Schlipf theorem.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
30	Atsushi Shimojima, Dave Barker-Plummer	The Barwise-Seligman Model of Representation Systems: A Philosophical Explication.	Diagrams	2014	DBLP DOI BibTeX RDF
30	Rashmi Mantri, Junkang Feng	Identification of the Most Specific Information that a Signal Carries by Using Barwise-Seligman Theory of Information Channel.	Comput. Inf. Sci.	2010	DBLP DOI BibTeX RDF
30	Selmer Bringsjord, Yingrui Yang	Human reasoning is heterogeneous - as Jon Barwise informed us.	J. Exp. Theor. Artif. Intell.	2006	DBLP DOI BibTeX RDF
30	Jouko A. Väänänen	Barwise: Abstract model theory and generalized quantifiers.	Bull. Symb. Log.	2004	DBLP DOI BibTeX RDF
30	Keith Devlin	Jon Barwise's papers on natural language semantics.	Bull. Symb. Log.	2004	DBLP DOI BibTeX RDF
30	H. Jerome Keisler, Julia F. Knight	Barwise: infinitary logic and admissible sets.	Bull. Symb. Log.	2004	DBLP DOI BibTeX RDF
30	Johan van Benthem, David Israel	Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman.	J. Log. Lang. Inf.	1999	DBLP DOI BibTeX RDF
30	Maarten de Rijke	Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds.	J. Log. Lang. Inf.	1999	DBLP DOI BibTeX RDF
30	Alexander Dekhtyar	Book Review: Vicious Circles by Jon Barwise and Lawrence Moss (Cambridge University Press 1996).	SIGACT News	1998	DBLP DOI BibTeX RDF
30	Keith Devlin	Information flow: the logic of distributed systems by Jon Barwise and Jerry Seligman.	Complex.	1998	DBLP DOI BibTeX RDF
30	Varol Akman	John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phenomena.	J. Log. Lang. Inf.	1997	DBLP DOI BibTeX RDF
30	Isidore Fleischer, Philip Scott	An algebraic treatment of the barwise compactness theory.	Stud Logica	1991	DBLP DOI BibTeX RDF
30	Mark Howard	A Proofless Proof of the Barwise Compactness Theorem.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
30	Miodrag Raskovic, Rade T. Zivaljevic	Barwise Completeness Theorems for Some Biprobability Logics.	Math. Log. Q.	1986	DBLP DOI BibTeX RDF
30	Sy D. Friedman	Steel forcing and barwise compactness.	Ann. Math. Log.	1982	DBLP DOI BibTeX RDF
30	F. W. Lancaster	Online Searching: The Impact on User Charges of the Extended Use of Online Information Services. T. P. Barwise. Paris: International Council of Scientific Unions Abstracting Board; 1979.	J. Am. Soc. Inf. Sci.	1980	DBLP DOI BibTeX RDF
30	Jonathan Stavi	A Converse of the Barwise Completeness Theorem.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
20	Jing Shi	Modal Expressivity and Definability over Sets.	LORI	2009	DBLP DOI BibTeX RDF
20	Li Li, Robert C. Koons, Jianjun Zhang	From the Logical Point of View: The Chain Store Paradox Revisited.	LORI	2009	DBLP DOI BibTeX RDF	Selten chainstore paradox, belief revision, situation theory
20	Markus Guhe, Alan Smaill, Alison Pease	A Formal Cognitive Model of Mathematical Metaphors.	KI	2009	DBLP DOI BibTeX RDF
20	Dag Elgesem	Normative Structures in Trust Management.	iTrust	2006	DBLP DOI BibTeX RDF
20	Joseph A. Goguen	What Is a Concept?	ICCS	2005	DBLP DOI BibTeX RDF
20	Yannis Kalfoglou, W. Marco Schorlemmer	Formal Support for Representing and Automating Semantic Interoperability.	ESWS	2004	DBLP DOI BibTeX RDF
20	Grit Malik	Distributed Systems with Simple Concept Graphs.	ICCS	2003	DBLP DOI BibTeX RDF
20	Lukasz Krzeszczakowski	Pebble Games on Trees.	CSL	2003	DBLP DOI BibTeX RDF
20	Nik Swoboda, Gerard Allwein	Modeling Heterogeneous Systems.	Diagrams	2002	DBLP DOI BibTeX RDF
20	Atsushi Shimojima	The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations.	Diagrams	2002	DBLP DOI BibTeX RDF
20	Grit Malik	Information Transfer across Simple Concept Graphs.	ICCS	2002	DBLP DOI BibTeX RDF
20	Keith Stenning	Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems.	Diagrams	2000	DBLP DOI BibTeX RDF
20	John F. Sowa	Syntax, Semantics, and Pragmatics of Contexts.	ICCS	1995	DBLP DOI BibTeX RDF
20	João Falcão e Cunha	Compositionality and Omniscience in Situation Semantics.	EAIA	1990	DBLP DOI BibTeX RDF