Search results for "conditionals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
145	Claudio Pizzi	Abductive Inference and Iterated Conditionals.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
87	Philip G. Calabrese	Reflections on Logic and Probability in the Context of Conditionals.	WCII	2002	DBLP DOI BibTeX RDF
81	Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss	Elided conditionals.	PASTE	2004	DBLP DOI BibTeX RDF	dynamic mutation, elision, coverage testing
80	John Cantwell	Indicative conditionals: Factual or Epistemic?	Stud Logica	2008	DBLP DOI BibTeX RDF	Indicative conditionals, psychologism
74	Beatrice Lazzerini, Lanfranco Lopriore	Abstraction Mechanisms for Event Control in Program Debugging.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms
69	Rohit Parikh	Some Puzzles About Probability and Probabilistic Conditionals.	LFCS	2007	DBLP DOI BibTeX RDF
69	Christoph Beierle, Gabriele Kern-Isberner	Footprints of Conditionals.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
67	Dov M. Gabbay, Andrzej Szalas	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.	Stud Logica	2007	DBLP DOI BibTeX RDF	second-order quantifier elimination, higher-order relations, conditionals
67	Richard Bradley	Adams Conditionals and Non-Monotonic Probabilities.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	axiomatic probability theory, Adams' Thesis, Conditionals, non-monotonic logic
67	Arun Kejariwal, Alexandru Nicolau, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Utpal Banerjee, Constantine D. Polychronopoulos	A general approach for partitioning N-dimensional parallel nested loops with conditionals.	SPAA	2006	DBLP DOI BibTeX RDF	partitioning, conditionals, parallel loops, affine, Fourier-Motzkin elimination
63	Guido Boella, Leendert W. N. van der Torre	A Logical Architecture of a Normative System.	DEON	2006	DBLP DOI BibTeX RDF
63	Sumit Gulwani, George C. Necula	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.	SAS	2004	DBLP DOI BibTeX RDF
61	Ernest W. Adams	What Is at Stake in the Controversy over Conditionals.	WCII	2002	DBLP DOI BibTeX RDF
61	Rainer Osswald	Assertions, Conditionals, and Defaults.	WCII	2002	DBLP DOI BibTeX RDF
56	Hans Rott	A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
49	Gabriele Kern-Isberner	Following Conditional Structures of Knowledge.	KI	1999	DBLP DOI BibTeX RDF	Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals
49	John Boyland	Conditional Attribute Grammars.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	demand evaluation, language processor generators, nonstrict evaluation, static analysis, functional dependencies, attribute grammars, conditionals
49	Jean-François Bonnefon, Denis J. Hilton	Getting the Point of Conditionals: An Argumentative Approach to the Psychological Interpretation of Conditional Premises.	WCII	2002	DBLP DOI BibTeX RDF
49	Didier Dubois, Hélène Fargier, Henri Prade	Acceptance, Conditionals, and Belief Revision.	WCII	2002	DBLP DOI BibTeX RDF
49	Christoph Beierle, Gabriele Kern-Isberner	Looking at Probabilistic Conditionals from an Institutional Point of View.	WCII	2002	DBLP DOI BibTeX RDF
43	Jonathan Edwards	No ifs, ands, or buts: uncovering the simplicity of conditionals.	OOPSLA	2007	DBLP DOI BibTeX RDF	refactoring, visual programming, polymorphism, decision tables, control structures
43	Serge Demeyer	Refactor Conditionals into Polymorphism: What's the Performance Cost of Introducing Virtual Calls?.	ICSM	2005	DBLP DOI BibTeX RDF
43	Emil Weydert	Projective Default Epistemology.	WCII	2002	DBLP DOI BibTeX RDF
43	Gabriele Kern-Isberner	Handling Conditionals Adequately in Uncertain Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
43	Yen-Teh Hsia	A Possibility-Based Propositional Logic of Conditionals.	ISMIS	1994	DBLP DOI BibTeX RDF
38	Diego Andrade, Basilio B. Fraguela, Ramon Doallo	Modeling the Cache Behavior of Codes with Arbitrary Data-Dependent Conditional Structures.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
38	Gabriele Kern-Isberner	The Principle of Conditional Preservation in Belief Revision.	FoIKS	2002	DBLP DOI BibTeX RDF
38	Scott McFarling	Program Optimization for Instruction Caches.	ASPLOS	1989	DBLP DOI BibTeX RDF	RISC
36	Tetsuya Murai, Sadaaki Miyamoto, Yasuo Kudo	A Logical Representation of Images by Means of Multi-rough Sets for Kansei Image Retrieval.	RSKT	2007	DBLP DOI BibTeX RDF	Multi-rough sets, Representation of images, Approximation of images, Conditionals between images, Kansei retrieval
36	Christoph Beierle, Gabriele Kern-Isberner	An Alternative View of Knowledge Discovery.	HICSS	2003	DBLP DOI BibTeX RDF	probabilistic conditionals, inverse representation problem, data mining, knowledge representation, knowledge discovery, reasoning under uncertainty
36	Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, Jos T. J. van Eijndhoven, Jochen A. G. Jess	A Constructive Method for Exploiting Code Motion.	ISSS	1996	DBLP DOI BibTeX RDF	conditional resource sharing, scheduling, high-level synthesis, code generation, conditionals, Code motion, search space pruning
36	A. W. Bollen	Counterfactuals, Cotenability and Consistency.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	counterfactuals, logic programming, conditionals, consistency maintenance
36	Yuichiro Hosokawa	From Counterfactual Conditionals to Temporal Conditionals.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
36	Giuseppe Sanfilippo, Angelo Gilio, David E. Over, Niki Pfeifer	Probabilities of conditionals and previsions of iterated conditionals.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
36	Lukas Rieser	Truth Conditionals and Use Conditionals: An Expressive Modal Analysis.	JSAI-isAI Workshops	2016	DBLP DOI BibTeX RDF
36	Gabriele Kern-Isberner	Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents		2001	DOI RDF
36	Donald Bamber	Probabilistic Entailment of Conditionals by Conditionals.	IEEE Trans. Syst. Man Cybern. Syst.	1994	DBLP DOI BibTeX RDF
36	Emil Weydert	Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals.	ECAI Workshop on Knowledge Representation and Reasoning	1992	DBLP DOI BibTeX RDF
31	Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre	Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.	PRIMA	2008	DBLP DOI BibTeX RDF
31	Guido Boella, Leendert W. N. van der Torre	An architecture of a normative system: counts-as conditionals, obligations and permissions.	AAMAS	2006	DBLP DOI BibTeX RDF	MAS theory, normative multi-agent systems, normative systems
31	Laura Ildikó Kovács, Tudor Jebelean	An Algorithm for Automated Generation of Invariants for Loops with Conditionals.	SYNASC	2005	DBLP DOI BibTeX RDF
31	Frank Hannig, Jürgen Teich	Resource Constrained and Speculative Scheduling of an Algorithm Class with Run-Time Dependent Conditionals.	ASAP	2004	DBLP DOI BibTeX RDF
31	Diego Andrade, Basilio B. Fraguela, Ramon Doallo	Cache Behavior Modeling of Codes with Data-Dependent Conditionals.	SCOPES	2003	DBLP DOI BibTeX RDF
25	Hugh Anderson, Siau-Cheng Khoo	Regular approximation and bounded domains for size-change termination.	PEPM	2010	DBLP DOI BibTeX RDF	affine size-change termination, termination analysis
25	Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer	Qualitative Knowledge Discovery.	SDKB	2008	DBLP DOI BibTeX RDF
25	Tao Wei, Jian Mao, Wei Zou, Yu Chen	Structuring 2-way Branches in Binary Executables.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
25	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking Unified.	VMCAI	2007	DBLP DOI BibTeX RDF
25	Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral	Generalized Index-Set Splitting.	CC	2005	DBLP DOI BibTeX RDF
25	Horacio L. Arló-Costa, William Taysom	Contextual Modals.	CONTEXT	2005	DBLP DOI BibTeX RDF
25	Alejandra Garrido 0001, Ralph E. Johnson	Analyzing Multiple Configurations of a C Program.	ICSM	2005	DBLP DOI BibTeX RDF
25	David F. Brown, Andrea K. Kirk	Using Information Systems to Structurally Map Workplace Injury.	HICSS	2004	DBLP DOI BibTeX RDF
25	Horacio L. Arló-Costa	A Theory of Contextual Propositions for Indicatives.	CONTEXT	2003	DBLP DOI BibTeX RDF
25	Gabriele Kern-Isberner	Representing and Learning Conditional Information in Possibility Theory.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
25	Ira D. Baxter, Michael Mehlich	Preprocessor Conditional Removal by Simple Partial Evaluation.	WCRE	2001	DBLP DOI BibTeX RDF	program transformations, Partial evaluation, symbolic computation, preprocessor
25	Guy Politzer	How to Doubt about a Conditional.	ECSQARU	2001	DBLP DOI BibTeX RDF
25	Nir Friedman, Joseph Y. Halpern, Daphne Koller	First-order conditional logic for default reasoning revisited.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	KLM properties, plausibility measures, completeness, first-order logic, default reasoning, conditional logic
25	Renato Ferreira 0001, Gagan Agrawal, Ruoming Jin, Joel H. Saltz	Compiling Data Intensive Applications with Spatial Coordinates.	LCPC	2000	DBLP DOI BibTeX RDF
25	James Sprowl, Periyasamy Balasubramanian, Taizoon Chinwalla, Martha W. Evens, Henriette Klawans	An expert system for drafting legal documents.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
24	Horacio L. Arló-Costa, Cristina Bicchieri	Knowing and Supposing in Games of Perfect Information.	Stud Logica	2007	DBLP DOI BibTeX RDF	Hypothetical Knowledge, Game Theory, Conditionals, Common Knowledge
24	Faith Ellen Fich, Danny Hendler, Nir Shavit	On the inherent weakness of conditional primitives.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Space lower bounds, Object implementations, Mutual exclusion, Conditionals
24	Boon Toh Low	Modeling Commonsense Rules in an Inference Network.	PRICAI	1996	DBLP DOI BibTeX RDF	Areas inference network, belief systems, conditionals, commonsense reasoning
18	Hans Rott	Difference-Making Conditionals and Connexivity.	Stud Logica	2024	DBLP DOI BibTeX RDF
18	Eric Raidl, Andrea Iacona, Vincenzo Crupi 0001	An Axiomatic System for Concessive Conditionals.	Stud Logica	2024	DBLP DOI BibTeX RDF
18	Niki Pfeifer, Giuseppe Sanfilippo	Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals.	Stud Logica	2024	DBLP DOI BibTeX RDF
18	Cecily Heiner, Dana Nelson	Towards Reuse of Resources and Replication of Results to Improve Instruction on Refactoring Conditionals for Novice Programmers.	SIGCSE (2)	2024	DBLP DOI BibTeX RDF
18	Tommaso Flaminio, Angelo Gilio, Lluís Godo, Giuseppe Sanfilippo	On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
18	Michael Jahn, Matthias Scheutz	Generalizing probabilistic material implication and Bayesian conditionals.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
18	Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio	Counterfactuals as modal conditionals, and their probability.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
18	Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm	Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
18	Anna Wojtowicz, Krzysztof Wójtowicz	A Minimal Probability Space for Conditionals.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
18	Stefan Kaufmann 0001	Bernoulli Semantics and Ordinal Semantics for Conditionals.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
18	Giacomo Bonanno	Characterization of AGM Belief Contraction in Terms of Conditionals.	TARK	2023	DBLP DOI BibTeX RDF
18	Tom Young, Yang You	On the Inconsistencies of Conditionals Learned by Masked Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
18	Angelo Gilio, David E. Over, Niki Pfeifer, Giuseppe Sanfilippo	On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jannik Fischbach, Julian Frattini, Andreas Vogelsang, Daniel Méndez 0001, Michael Unterkalmsteiner, Andreas Wehrle, Pablo Restrepo Henao, Parisa Yousefi, Tedi Juricic, Jeannette Radduenz, Carsten Wiecher	Automatic creation of acceptance tests by extracting conditionals from requirements: NLP approach and case study.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
18	Johan van Benthem	The logic of conditionals on outback trails.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
18	Tianyi Chu	Indicative Conditionals in Awareness Framework.	LORI	2023	DBLP DOI BibTeX RDF
18	Michael Jahn, Matthias Scheutz	Investigating a Generalization of Probabilistic Material Implication and Bayesian Conditionals.	UAI	2023	DBLP BibTeX RDF
18	Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré	Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation.	NMR	2023	DBLP BibTeX RDF
18	Sangeet Khemlani, Isabel Orenes, Orlando Espino	Conditionals conflict with their denials.	CogSci	2023	DBLP BibTeX RDF
18	Angelo Gilio, David E. Over, Niki Pfeifer, Giuseppe Sanfilippo	On Independence and Compound and Iterated Conditionals.	HAR	2023	DBLP DOI BibTeX RDF
18	Xinran Zhu, Kaiwen Wu, Natalie Maus, Jacob Gardner, David Bindel	Variational Gaussian Processes with Decoupled Conditionals.	NeurIPS	2023	DBLP BibTeX RDF
18	Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer 0002	Conditionals, Infeasible Worlds, and Reasoning with System W.	FLAIRS	2023	DBLP DOI BibTeX RDF
18	Lalintha G. Polpitiya, Kamal Premaratne, Manohar N. Murthi, Stephen J. Murrell, Dilip Sarkar	Efficient Computation of Conditionals in the Dempster-Shafer Belief Theoretic Framework.	IEEE Trans. Cybern.	2022	DBLP DOI BibTeX RDF
18	Kurt Norlin	Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
18	Vincenzo Crupi 0001, Andrea Iacona	On the Logical Form of Concessive Conditionals.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
18	John Cantwell	Revisiting McGee's Probabilistic Analysis of Conditionals.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
18	Mario Günther	Causal and Evidential Conditionals.	Minds Mach.	2022	DBLP DOI BibTeX RDF
18	Satoru Niki, Hitoshi Omori	Another Combination of Classical and Intuitionistic Conditionals.	NCL	2022	DBLP DOI BibTeX RDF
18	Paul Égré, Lorenzo Rossi 0005, Jan Sprenger	Certain and Uncertain Inference with Trivalent Conditionals.	CoRR	2022	DBLP DOI BibTeX RDF
18	Jannik Fischbach, Julian Frattini, Andreas Vogelsang, Daniel Méndez 0001, Michael Unterkalmsteiner, Andreas Wehrle, Pablo Restrepo Henao, Parisa Yousefi, Tedi Juricic, Jeannette Radduenz, Carsten Wiecher	Automatic Creation of Acceptance Tests by Extracting Conditionals from Requirements: NLP Approach and Case Study.	CoRR	2022	DBLP BibTeX RDF
18	Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré	Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation.	CoRR	2022	DBLP DOI BibTeX RDF
18	Hans Rott	Difference-Making Conditionals and the Relevant Ramsey Test.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
18	Feng-Cheng Chang, Hsiang-Cheh Huang	Conditionals Support in Binary Expression Tree Based Genetic Programming.	LifeTech	2022	DBLP DOI BibTeX RDF
18	Laura Giordano 0001	From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract).	CILC	2022	DBLP BibTeX RDF
18	Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak	Situated Conditionals - A Brief Introduction.	NMR	2022	DBLP BibTeX RDF
18	Laura Giordano 0001	From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back.	NMR	2022	DBLP BibTeX RDF
18	Lydia Castronovo, Giuseppe Sanfilippo	Iterated Conditionals, Trivalent Logics, and Conditional Random Quantities.	SUM	2022	DBLP DOI BibTeX RDF
18	Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom	Network Visualization and Assessment of Student Reasoning About Conditionals.	ITiCSE (1)	2022	DBLP DOI BibTeX RDF
18	Amina A. Shmanova, Myrto Grigoroglou, Patricia Ganea	How do young children interpret conditionals?	CogSci	2022	DBLP BibTeX RDF