Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
145 | Claudio Pizzi |
Abductive Inference and Iterated Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 365-381, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
87 | Philip G. Calabrese |
Reflections on Logic and Probability in the Context of Conditionals. ![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. 12-37, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
81 | Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss |
Elided conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 52-57, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dynamic mutation, elision, coverage testing |
80 | John Cantwell |
Indicative conditionals: Factual or Epistemic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 157-194, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Indicative conditionals, psychologism |
74 | Beatrice Lazzerini, Lanfranco Lopriore |
Abstraction Mechanisms for Event Control in Program Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(7), pp. 890-901, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 449-456, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Christoph Beierle, Gabriele Kern-Isberner |
Footprints of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 99-119, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 37-50, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
second-order quantifier elimination, higher-order relations, conditionals |
67 | Richard Bradley |
Adams Conditionals and Non-Monotonic Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(1-2), pp. 65-81, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 49-58, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 24-35, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Sumit Gulwani, George C. Necula |
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 328-343, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
61 | Ernest W. Adams |
What Is at Stake in the Controversy over Conditionals. ![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. 1-11, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Rainer Osswald |
Assertions, Conditionals, and Defaults. ![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. 108-130, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Hans Rott |
A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Theory Change ![In: The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, pp. 135-181, 1989, Springer, 3-540-53567-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
49 | Gabriele Kern-Isberner |
Following Conditional Structures of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 125-136, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals |
49 | John Boyland |
Conditional Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(1), pp. 73-108, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![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. 59-64, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Didier Dubois, Hélène Fargier, Henri Prade |
Acceptance, Conditionals, and Belief Revision. ![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. 38-58, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Christoph Beierle, Gabriele Kern-Isberner |
Looking at Probabilistic Conditionals from an Institutional Point of View. ![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. 162-179, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Jonathan Edwards |
No ifs, ands, or buts: uncovering the simplicity of conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 639-658, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 627-630, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Emil Weydert |
Projective Default Epistemology. ![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. 65-85, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Gabriele Kern-Isberner |
Handling Conditionals Adequately in Uncertain Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 604-615, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Yen-Teh Hsia |
A Possibility-Based Propositional Logic of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 551-560, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings, pp. 44-57, 2004, Springer, 3-540-23003-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Gabriele Kern-Isberner |
The Principle of Conditional Preservation in Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 105-129, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Scott McFarling |
Program Optimization for Instruction Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-III Proceedings - Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, April 3-6, 1989., pp. 183-191, 1989, ACM Press, 0-89791-300-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 244-251, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 68, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 9th International Symposium on System Synthesis, ISSS '96, San Diego, CA, USA, November 6-8, 1996., pp. 51-56, 1996, ACM / IEEE Computer Society, 0-8186-7563-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 187-201, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
counterfactuals, logic programming, conditionals, consistency maintenance |
36 | Yuichiro Hosokawa |
From Counterfactual Conditionals to Temporal Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(4), pp. 677-706, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Giuseppe Sanfilippo, Angelo Gilio, David E. Over, Niki Pfeifer |
Probabilities of conditionals and previsions of iterated conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 121, pp. 150-173, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
36 | Lukas Rieser |
Truth Conditionals and Use Conditionals: An Expressive Modal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers, pp. 108-122, 2016, Springer, 978-3-319-61571-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Gabriele Kern-Isberner |
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
DOI RDF |
|
36 | Donald Bamber |
Probabilistic Entailment of Conditionals by Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 24(12), pp. 1714-1723, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Emil Weydert |
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 310-332, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, pp. 86-97, 2008, Springer, 978-3-540-89673-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 229-231, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania, pp. 245-249, 2005, IEEE Computer Society, 0-7695-2453-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 15th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2004), 27-29 September 2004, Galveston, TX, USA, pp. 17-27, 2004, IEEE Computer Society, 0-7695-2226-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Diego Andrade, Basilio B. Fraguela, Ramon Doallo |
Cache Behavior Modeling of Codes with Data-Dependent Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings, pp. 373-387, 2003, Springer, 3-540-20145-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Hugh Anderson, Siau-Cheng Khoo |
Regular approximation and bounded domains for size-change termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 53-62, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
affine size-change termination, termination analysis |
25 | Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer |
Qualitative Knowledge Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDKB ![In: Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers, pp. 77-102, 2008, Springer, 978-3-540-88593-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Tao Wei, Jian Mao, Wei Zou, Yu Chen |
Structuring 2-way Branches in Binary Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 115-118, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking Unified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 363-377, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral |
Generalized Index-Set Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 106-120, 2005, Springer, 3-540-25411-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Horacio L. Arló-Costa, William Taysom |
Contextual Modals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings, pp. 15-28, 2005, Springer, 3-540-26924-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alejandra Garrido 0001, Ralph E. Johnson |
Analyzing Multiple Configurations of a C Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 379-388, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | David F. Brown, Andrea K. Kirk |
Using Information Systems to Structurally Map Workplace Injury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Horacio L. Arló-Costa |
A Theory of Contextual Propositions for Indicatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings, pp. 15-28, 2003, Springer, 3-540-40380-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Gabriele Kern-Isberner |
Representing and Learning Conditional Information in Possibility Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 194-217, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Ira D. Baxter, Michael Mehlich |
Preprocessor Conditional Removal by Simple Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 281-290, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
program transformations, Partial evaluation, symbolic computation, preprocessor |
25 | Guy Politzer |
How to Doubt about a Conditional. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 659-667, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Nir Friedman, Joseph Y. Halpern, Daphne Koller |
First-order conditional logic for default reasoning revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 1(2), pp. 175-207, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers, pp. 339-354, 2000, Springer, 3-540-42862-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | James Sprowl, Periyasamy Balasubramanian, Taizoon Chinwalla, Martha W. Evens, Henriette Klawans |
An expert system for drafting legal documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1984 National Computer Conference, 9-12 July 1984, Las Vegas, Nevada, USA, pp. 667-673, 1984, AFIPS Press, 0-88283-043-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Horacio L. Arló-Costa, Cristina Bicchieri |
Knowing and Supposing in Games of Perfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(3), pp. 353-373, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(4), pp. 267-277, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Space lower bounds, Object implementations, Mutual exclusion, Conditionals |
24 | Boon Toh Low |
Modeling Commonsense Rules in an Inference Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 435-446, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Areas inference network, belief systems, conditionals, commonsense reasoning |
18 | Hans Rott |
Difference-Making Conditionals and Connexivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 112(1), pp. 405-458, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Eric Raidl, Andrea Iacona, Vincenzo Crupi 0001 |
An Axiomatic System for Concessive Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 112(1), pp. 343-363, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Niki Pfeifer, Giuseppe Sanfilippo |
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 112(1), pp. 167-206, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 2, Portland, OR, USA, March 20-23, 2024, pp. 1672-1673, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 159, pp. 108943, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Michael Jahn, Matthias Scheutz |
Generalizing probabilistic material implication and Bayesian conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 162, pp. 109021, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio |
Counterfactuals as modal conditionals, and their probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 323, pp. 103970, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 317, pp. 103876, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Anna Wojtowicz, Krzysztof Wójtowicz |
A Minimal Probability Space for Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(5), pp. 1385-1415, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Kaufmann 0001 |
Bernoulli Semantics and Ordinal Semantics for Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(1), pp. 199-220, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Giacomo Bonanno |
Characterization of AGM Belief Contraction in Terms of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 142-156, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tom Young, Yang You |
On the Inconsistencies of Conditionals Learned by Masked Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00068, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Angelo Gilio, David E. Over, Niki Pfeifer, Giuseppe Sanfilippo |
On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10268, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 197, pp. 111549, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Johan van Benthem |
The logic of conditionals on outback trails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 31(6), pp. 1135-1152, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tianyi Chu |
Indicative Conditionals in Awareness Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings, pp. 17-30, 2023, Springer, 978-3-031-45557-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Michael Jahn, Matthias Scheutz |
Investigating a Generalization of Probabilistic Material Implication and Bayesian Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Uncertainty in Artificial Intelligence, UAI 2023, July 31 - 4 August 2023, Pittsburgh, PA, USA., pp. 932-940, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023., pp. 4-13, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Sangeet Khemlani, Isabel Orenes, Orlando Espino |
Conditionals conflict with their denials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Angelo Gilio, David E. Over, Niki Pfeifer, Giuseppe Sanfilippo |
On Independence and Compound and Iterated Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAR ![In: Human and Artificial Rationalities - Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings, pp. 159-177, 2023, Springer, 978-3-031-55244-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xinran Zhu, Kaiwen Wu, Natalie Maus, Jacob Gardner, David Bindel |
Variational Gaussian Processes with Decoupled Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer 0002 |
Conditionals, Infeasible Worlds, and Reasoning with System W. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2023, Clearwater Beach, FL, USA, May 14-17, 2023, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 52(5), pp. 2931-2941, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Kurt Norlin |
Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(5), pp. 951-971, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Crupi 0001, Andrea Iacona |
On the Logical Form of Concessive Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(3), pp. 633-651, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | John Cantwell |
Revisiting McGee's Probabilistic Analysis of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(5), pp. 973-1017, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mario Günther |
Causal and Evidential Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 32(4), pp. 613-626, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Satoru Niki, Hitoshi Omori |
Another Combination of Classical and Intuitionistic Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCL ![In: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., pp. 174-188, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Paul Égré, Lorenzo Rossi 0005, Jan Sprenger |
Certain and Uncertain Inference with Trivalent Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08276, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.00932, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.07523, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hans Rott |
Difference-Making Conditionals and the Relevant Ramsey Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 15(1), pp. 133-164, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Feng-Cheng Chang, Hsiang-Cheh Huang |
Conditionals Support in Binary Expression Tree Based Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LifeTech ![In: 4th IEEE Global Conference on Life Sciences and Technologies, LifeTech 2022, Osaka, Japan, March 7-9, 2022, pp. 310-313, 2022, IEEE, 978-1-6654-1904-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022., pp. 307-312, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak |
Situated Conditionals - A Brief Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 151-154, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 127-138, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
18 | Lydia Castronovo, Giuseppe Sanfilippo |
Iterated Conditionals, Trivalent Logics, and Conditional Random Quantities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings, pp. 47-63, 2022, Springer, 978-3-031-18842-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (1) ![In: ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 1, pp. 255-261, 2022, ACM, 978-1-4503-9201-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Amina A. Shmanova, Myrto Grigoroglou, Patricia Ganea |
How do young children interpret conditionals? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 44th Annual Meeting of the Cognitive Science Society, CogSci 2022, Toronto, ON, Canada, July 27-30, 2022, 2022, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|