Search results for "possible-worlds"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Maxwell Cresswell	From Modal Discourse to Possible Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	primitive modality, possible worlds, infinitary logic
70	Grzegorz Skorupa, Radoslaw P. Katarzyniak	Towards a Model for Extraction of Possible Worlds and Accessibility Relation from Cognitive Agent's Experience.	ICCCI	2009	DBLP DOI BibTeX RDF	accessibility relation, grounding, cognitive agent, possible worlds
66	Foto N. Afrati, Phokion G. Kolaitis	Answering aggregate queries in data exchange.	PODS	2008	DBLP DOI BibTeX RDF	data integration, data exchange, aggregate queries
62	Ahti-Veikko Pietarinen	Peirce's Contributions to Possible-Worlds Semantics.	Stud Logica	2006	DBLP DOI BibTeX RDF	Peirce, Existential Graphs, modality, possible-worlds semantics
59	Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne	On the Representation and Querying of Sets of Possible Worlds.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
58	Matt Lepinski, David Liben-Nowell, Seth Gilbert, April Rasala Lehman	Playing games in many possible worlds.	EC	2006	DBLP DOI BibTeX RDF	correlated equilibria, information acquisition, socratic games, algorithms, game theory, Nash equilibria
54	Blanca Mancilla, John Plaice	Possible Worlds Versioning.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	context-aware computation, Software configuration, possible-worlds semantics, intensional logic
47	Simone Veglioni, Rocco De Nicola	Possible Worlds for Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
44	Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001	Absolute Versus Probabilistic Classification in a Logical Setting.	ALT	2005	DBLP DOI BibTeX RDF
40	Sven Ove Hansson	Ideal Worlds - Wishful Thinking in Deontic Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	deontic paradoxes, ideal worlds, truth-functional representation, deontic logic, possible worlds
40	Ahti Pietarinen	Awareness in Logic and Cognitive Neuroscience.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	implicit/explicit distinction, awareness, Logic, neuroscience, possible-worlds semantics
40	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
38	Xiang Lian, Lei Chen 0002, Shaoxu Song	Consistent query answers in inconsistent probabilistic databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	all-possible-repairs semantics, inconsistent probabilistic database, repair world, repaired possible world, consistent query answering
38	Michael J. Healy, Thomas P. Caudell	Knowledge Representation and Possible Worlds for Neural Networks.	IJCNN	2006	DBLP DOI BibTeX RDF
37	Reinhard Muskens	Logical Omniscience and Classical Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic
33	Kiyong Lee	From All Possible Worlds to Small Worlds: A Story of How We Started and Where We Will Go Doing Semantics.	PACLIC	2012	DBLP BibTeX RDF
33	Vincent F. Hendricks, Stig Andur Pedersen	Ways of Worlds I-II Two Special Issues on Possible Worlds and Related Notions.	Stud Logica	2006	DBLP DOI BibTeX RDF
33	Oliver Walker	Unawareness with "possible" possible worlds.	Math. Soc. Sci.	2014	DBLP DOI BibTeX RDF
33	Brandon Bennett	Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
32	Carlos Rodríguez 0001, Florian Daniel, Fabio Casati, Cinzia Cappiello	Toward Uncertain Business Intelligence: The Case of Key Indicators.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	uncertain business intelligence, uncertain key indicators, data quality, cooperative processes, possible worlds
32	Matteo Magnani, Danilo Montesi	Towards Relational Schema Uncertainty.	SUM	2009	DBLP DOI BibTeX RDF	uncertainty, completeness, soundness, schema, possible worlds
32	Kathrin Glüer, Peter Pagin	Relational Modality.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
32	John F. Sowa	Worlds, Models and Descriptions.	Stud Logica	2006	DBLP DOI BibTeX RDF	Dunn’s semantics, model sets, meaning-preserving translation, semiotics, laws, model theory, possible worlds, intentionality
32	Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden	A Logic for Reasoning About Security.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	composition knowledge, security, integrity, policy, time, logic, secrecy, permission, obligation, possible-worlds
32	Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi	A Model-Theoretic Analysis of Knowledge.	J. ACM	1991	DBLP DOI BibTeX RDF	reasoning about knowlege, distributed systems, modal logic, knowledge, epistemology, knowledge structures, possible worlds, common knowledge, Kripke structure
32	Martín Abadi, Joseph Y. Halpern	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds
32	Yuejun Jiang	An Autoepistemic Logical View of Knowledge Base.	FSTTCS	1989	DBLP DOI BibTeX RDF	AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic
32	Anbu Yue, Weiru Liu, Anthony Hunter	Approaches to Constructing a Stratified Merged Knowledge Base.	ECSQARU	2007	DBLP DOI BibTeX RDF
31	Alberto Zanardo	Quantification over Sets of Possible Worlds in Branching-Time Semantics.	Stud Logica	2006	DBLP DOI BibTeX RDF	temporal logics, branching time
30	Feng Jiang, Yuefei Sui, Cungen Cao 0001	An Ontology-Based First-Order Modal Logic.	RSCTC	2006	DBLP DOI BibTeX RDF	First-order modal logic, counterpart, ontology, rigidity
30	John Funge	Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
30	Wan J. Fokkink, Sumit Nain	On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
30	Alex Dekhtyar, Michael I. Dekhtyar	Possible Worlds Semantics for Probabilistic Logic Programs.	ICLP	2004	DBLP DOI BibTeX RDF
30	James Westendorp	Noise-Resistant Incremental Relational Learning Using Possible Worlds.	ILP	2002	DBLP DOI BibTeX RDF
30	Alexander Bochman	Possible Worlds Semantics for Credulous and Contraction Inference.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
28	Samir Khuller, Maria Vanina Martinez, Dana S. Nau, Amy Sliva, Gerardo I. Simari, V. S. Subrahmanian	Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030, 000 worlds.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T37
25	Didier Dubois, Henri Prade	Bipolarity in Possibilistic Logic and Fuzzy Rules.	SOFSEM	2002	DBLP DOI BibTeX RDF
24	Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff	Epistemic privacy.	PODS	2008	DBLP DOI BibTeX RDF	positivstellensatz, privacy, auditing, query logs, disclosure, reasoning about knowledge, supermodularity
24	Germano Resconi, Tetsuya Murai, Michinori Nakata, Masaru Shimbo	Semantic field: introduction.	KES	2000	DBLP DOI BibTeX RDF
24	Veselka Boeva, Elena Tsiporkova, Bernard De Baets	Modelling Uncertainty with Kripke's Semantics.	AIMSA	1998	DBLP DOI BibTeX RDF
24	Antonio Moreno, Ton Sales	Limited Logical Belief Analysis.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
24	Weiru Liu	The Incidence Propagation Method.	ISMVL	1996	DBLP DOI BibTeX RDF
22	Ali Vosoughi, Shijian Deng, Songyang Zhang, Yapeng Tian, Chenliang Xu, Jiebo Luo	Unveiling Cross Modality Bias in Visual Question Answering: A Causal View with Possible Worlds VQA.	CoRR	2023	DBLP DOI BibTeX RDF
22	Lorenza Saettone, Riccardo Fedriga, Emanuele Micheli	Linguistic and Cultural Competences in Dynamic Possible Worlds.	RobOntics@RO-MAN	2023	DBLP BibTeX RDF
22	Nicholas Kluge Corrêa, Nythamar Fernandes de Oliveira	Counterfactual Analysis by Algorithmic Complexity: A metric between possible worlds.	CoRR	2022	DBLP DOI BibTeX RDF
22	Birthe van den Berg, Tom Schrijvers	A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl.	FLOPS	2022	DBLP DOI BibTeX RDF
22	Michael D. Ekstrand	Multiversal Simulacra: Understanding Hypotheticals and Possible Worlds Through Simulation.	CoRR	2021	DBLP BibTeX RDF
22	Mohammed Sadou, Yassine Djouadi, Allel Hadj-Ali	A Possible Worlds Interpretation of Many-Sorted Theory for IR.	IEA/AIE (2)	2021	DBLP DOI BibTeX RDF
22	Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams	A study of possible-worlds semantics of relevance-sensitive belief revision.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
22	Gerhard Lakemeyer, Hector J. Levesque	A First-Order Logic of Limited Belief Based on Possible Worlds.	KR	2020	DBLP DOI BibTeX RDF
22	Ignacy Sitnicki	Why AI shall emerge in the one of possible worlds?	AI Soc.	2019	DBLP DOI BibTeX RDF
22	Han Liu 0008, Xianchao Zhang 0001, Xiaotong Zhang 0003, Qimai Li, Xiao-Ming Wu 0003	Clustering Uncertain Data via Representative Possible Worlds with Consistency Learning.	CoRR	2019	DBLP BibTeX RDF
22	Sahil Gupta, Yi-Yun Cheng, Bertram Ludäscher	Possible Worlds Explorer: Datalog & Answer Set Programming for the Rest of Us.	Datalog	2019	DBLP BibTeX RDF
22	Fatma Ezzahra Bousnina, Mohamed Anis Bach Tobji, Mouna Chebbah, Boutheina Ben Yaghlane	Modeling evidential databases as possible worlds.	Int. J. Intell. Syst.	2018	DBLP DOI BibTeX RDF
22	Emiliano Lorini	In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds.	AAAI	2018	DBLP DOI BibTeX RDF
22	Ben A. Kybartas, Clark Verbrugge, Jonathan Lessard	Expressive Range Analysis of a Possible Worlds Driven Emergent Narrative System.	ICIDS	2018	DBLP DOI BibTeX RDF
22	Costas D. Koutras, Christos Rantsoudis	In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.	J. Log. Lang. Inf.	2017	DBLP DOI BibTeX RDF
22	Alireza Shirvani, Stephen G. Ware, Rachelyn Farrell	A Possible Worlds Model of Belief for State-Space Narrative Planning.	AIIDE	2017	DBLP BibTeX RDF
22	Ben A. Kybartas, Clark Verbrugge, Jonathan Lessard	Subject and Subjectivity: A Conversational Game Using Possible Worlds.	ICIDS	2017	DBLP DOI BibTeX RDF
22	Aneta Markoska-Cubrinovska	Possible worlds in "The Craft of Formal Logic".	Synth.	2016	DBLP DOI BibTeX RDF
22	Daniel Skurt, Hitoshi Omori	More Modal Semantics without Possible Worlds.	FLAP	2016	DBLP BibTeX RDF
22	Shaoying Song, Zhaonian Zou, Kang Liu 0007	Triangle-Based Representative Possible Worlds of Uncertain Graphs.	DASFAA (2)	2016	DBLP DOI BibTeX RDF
22	Sébastien Ferré	Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds.	EKAW	2016	DBLP DOI BibTeX RDF
22	Birger Hjørland	Are relations in thesauri "context-free, definitional, and true in all possible worlds"?	J. Assoc. Inf. Sci. Technol.	2015	DBLP DOI BibTeX RDF
22	Michael Geilke, Andreas Karwath, Stefan Kramer 0001	Modeling recurrent distributions in streams using possible worlds.	DSAA	2015	DBLP DOI BibTeX RDF
22	Costas D. Koutras, Christos Rantsoudis	In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.	ECSQARU	2015	DBLP DOI BibTeX RDF
22	J. Marcel Heusinger	The design of 'possible worlds' as a contribution to the unfinished project of modernity: development of a reference architecture to support the decision-making processes of community-driven sustainable human development initiatives.		2015	RDF
22	Neil Kennedy	On Possible Worlds with Modal Parts.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
22	Louis deRosset	Possible Worlds for Modal Primitivists.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
22	Juan Carlos Agudelo Agudelo, Manuel H. Sierra-Aristizábal	Restricted normal modal logics and levelled possible worlds semantics.	J. Log. Comput.	2014	DBLP DOI BibTeX RDF
22	Alfredo Cuzzocrea, Vincenzo Rodinò	Data-Driven Possible-Worlds Semantics for OLAP over Uncertain and Imprecise Multidimensional Data Streams.	SEBD	2014	DBLP BibTeX RDF
22	Philip Percival	Branching of possible worlds.	Synth.	2013	DBLP DOI BibTeX RDF
22	Fahiem Bacchus	Probability Distributions Over Possible Worlds	CoRR	2013	DBLP BibTeX RDF
22	J. Marcel Heusinger	Challenges of Critical and Emancipatory Design Science Research: The Design of 'Possible Worlds' as Response.	CoRR	2013	DBLP BibTeX RDF
22	Matthias Unterhuber	Possible Worlds Semantics for Indicative and Counterfactual Conditionals? - A Formal Philosophical Inquiry into Chellas-Segerberg Semantics.		2013	RDF
22	Fulvio Rotella, Stefano Ferilli	Probabilistic Abductive Logic Programming using Possible Worlds.	CILC	2013	DBLP BibTeX RDF
22	Daphna Buchsbaum, Caren M. Walker, Alison Gopnik, Nick Chater, David Danks, Christopher G. Lucas, Charles Kemp, Eva Rafetseder, Josef Perner	What if? Counterfactual reasoning, pretense, and the role of possible worlds.	CogSci	2013	DBLP BibTeX RDF
22	Imre Kilián, Gábor Alberti	A Metamodel-driven Architecture for Generating, Populating and Manipulating "Possible Worlds" to Answer Questions.	ICSOFT	2013	DBLP DOI BibTeX RDF
22	J. Marcel Heusinger	Challenges of Critical and Emancipatory Design Science Research - The Design of 'Possible Worlds' as Response.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
22	Kit Fine	A difficulty for the possible worlds analysis of counterfactuals.	Synth.	2012	DBLP DOI BibTeX RDF
22	Claudio Hermida, Robert D. Tennent	Monoidal indeterminates and categories of possible worlds.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
22	Maurício D. Luís Reis, Eduardo Fermé	Possible Worlds Semantics for Partial Meet Multiple Contraction.	J. Philos. Log.	2012	DBLP DOI BibTeX RDF
22	Andrew R. Plummer, Carl Pollard	Agnostic Possible Worlds Semantics.	LACL	2012	DBLP DOI BibTeX RDF
22	Tomasz Placek	Possibilities Without Possible Worlds/Histories.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
22	Andrzej Indrzejczak	Possible Worlds in Use.	Stud Logica	2011	DBLP DOI BibTeX RDF
22	Angelika Kimmig, Guy Van den Broeck, Luc De Raedt	An Algebraic Prolog for Reasoning about Possible Worlds.	AAAI	2011	DBLP DOI BibTeX RDF
22	Xun Wang 0006, Mary-Anne Williams	Risk, Uncertainty and Possible Worlds.	SocialCom/PASSAT	2011	DBLP DOI BibTeX RDF
22	JieYuan Li, Guohua Liu	On the Representation and Querying of Sets of Possible Worlds in the K-anonymity Privacy Protecting Model.	CIS	2011	DBLP DOI BibTeX RDF
22	Jacqueline Wernimont, Julia Flanders	Possible Worlds: Authorial Markup and Digital Scholarship.	DH	2011	DBLP BibTeX RDF
22	Andrea Sauchelli	Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge.	Synth.	2010	DBLP DOI BibTeX RDF
22	Luciano Floridi	Information, possible worlds and the cooptation of scepticism.	Synth.	2010	DBLP DOI BibTeX RDF
22	Guy McCusker, John Power	Modelling Local Variables: Possible Worlds and Object Spaces.	MFPS	2010	DBLP DOI BibTeX RDF
22	Patrick Bosc, Olivier Pivert	Modeling and Querying Uncertain Relational Databases: a Survey of Approaches Based on the Possible Worlds Semantics.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2010	DBLP DOI BibTeX RDF
22	Florian Wisser	Creating Possible Worlds Using Sims Tables for the Imperfect Information Card Game Schnapsen.	ICTAI (2)	2010	DBLP DOI BibTeX RDF
22	Claudio Hermida, Robert D. Tennent	Monoidal Indeterminates and Categories of Possible Worlds.	MFPS	2009	DBLP DOI BibTeX RDF
22	Teppo Felin, Nicolai Juul Foss	Performativity of Theory, Arbitrary Conventions, and Possible Worlds: A Reality Check.	Organ. Sci.	2009	DBLP DOI BibTeX RDF
22	Peter Benjamin Volk, Frank Rosenthal, Martin Hahmann, Dirk Habich, Wolfgang Lehner	Clustering Uncertain Data with Possible Worlds.	ICDE	2009	DBLP DOI BibTeX RDF
22	Caterina Desiato	The Conditions of Permeability: How Shared Cyberworlds Turn into Laboratories of Possible Worlds.	CW	2009	DBLP DOI BibTeX RDF
22	Patrick Bosc, Olivier Pivert	Functional Dependencies Over Possibilistic Databases: An Interpretation Based on the Possible Worlds Semantics.	MUD	2009	DBLP BibTeX RDF
22	Giacomo Sillari	Quantified Logic of Awareness and Impossible Possible Worlds.	Rev. Symb. Log.	2008	DBLP DOI BibTeX RDF