Search results for "bridging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu	On the characterization and efficient computation of hard-to-detect bridging faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
80	Irith Pomeranz, Sudhakar M. Reddy	Using Dummy Bridging Faults to Define Reduced Sets of Target Faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
72	Shichao Zhang 0001, Feng Chen, Xindong Wu 0001, Chengqi Zhang	Identifying bridging rules between conceptual clusters.	KDD	2006	DBLP DOI BibTeX RDF	bridging rule, clustering, association rule, entropy, outlier
72	Arabi Keshk, Kozo Kinoshita, Yukiya Miura	IDDQ Current Dependency on Test Vectors and Bridging Resistance.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Bridging fault, IDDQ Testing
72	Michel Renovell, P. Huc, Yves Bertrand	The concept of resistance interval: a new parametric model for realistic resistive bridging fault.	VTS	1995	DBLP DOI BibTeX RDF	electric resistance, resistance interval, intrinsic resistance, logic behavior, 0 to 500 ohm, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, fault detection, automatic testing, fault coverage, bridging faults, parametric model, logic gates, logic gates, resistive bridging fault, faulty behavior
72	Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker 0001	Modeling Feedback Bridging Faults with Non-Zero Resistance.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	feedback bridging faults, resistive bridging faults, bridging fault simulation
64	Masaki Hashizume, Hiroyuki Yotsuyanagi, Takeomi Tamesada	Identification of Feedback Bridging Faults with Oscillation.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	feedback bridging fault, CMOS, logic circuit, oscillation
64	Michel Renovell, P. Huc, Yves Bertrand	Serial transistor network modeling for bridging fault simulation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	serial transistor network modeling, voting model, biased voting model, relative transistor strength, SPICE pre-simulation, fault simulation procedure, CMOS logic, fault diagnosis, logic testing, integrated circuit testing, digital simulation, circuit analysis computing, CMOS logic circuits, SPICE, integrated circuit modelling, bridging fault simulation
64	Toshiyuki Maeda, Kozo Kinoshita	Memory reduction of IDDQ test compaction for internal and external bridging faults.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	I/sub DDQ/ test compaction, internal bridging faults, external bridging faults, IDDQ test sequence, reassignment method, weighted random sequences, logic testing, integrated circuit testing, sequential circuits, sequential circuits, automatic testing, fault simulation, CMOS logic circuits, CMOS circuits, test application time reduction, memory reduction
64	Chul Young Lee, D. M. H. Walker	PROBE: A PPSFP Simulator for Resistive Bridging Faults.	VTS	2000	DBLP DOI BibTeX RDF	PPSFP, fault model, fault simulation, bridging fault, resistive bridging faults
63	Hugo Cheung, Sandeep K. Gupta	Accurate modeling and fault simulation of Byzantine resistive bridges.	ICCD	2007	DBLP DOI BibTeX RDF
56	Fan Yang 0060, Sreejit Chakravarty, Narendra Devta-Prasanna, Sudhakar M. Reddy, Irith Pomeranz	Detectability of internal bridging faults in scan chains.	ASP-DAC	2009	DBLP DOI BibTeX RDF
56	Irith Pomeranz, Sudhakar M. Reddy	A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy.	DATE	2008	DBLP DOI BibTeX RDF
56	Soumendra Nanda, David Kotz	Localized Bridging Centrality for Distributed Network Analysis.	ICCCN	2008	DBLP DOI BibTeX RDF
56	Xinyue Fan, Will R. Moore, Camelia Hora, Mario Konijnenburg, Guido Gronthoud	A Gate-Level Method for Transistor-Level Bridging Fault Diagnosis.	VTS	2006	DBLP DOI BibTeX RDF
56	Woochang Hwang, Taehyong Kim, Murali Ramanathan, Aidong Zhang	Bridging centrality: graph mining from element level to group level.	KDD	2008	DBLP DOI BibTeX RDF	bridging centrality, graph clustering
56	Arabi Keshk, Kozo Kinoshita, Yukiya Miura	Procedure to Overcome the Byzantine General's Problem for Bridging Faults in CMOS Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Byzantine General's problem, Bridging fault
56	Michel Renovell, P. Huc, Yves Bertrand	Bridging fault coverage improvement by power supply control.	VTS	1996	DBLP DOI BibTeX RDF	bridging fault coverage, power supply control, resistance interval, faulty value, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, automatic testing, logic circuits, parametric model, benchmark circuits
56	Michele Favalli, Piero Olivo, Bruno Riccò	Dynamic effects in the detection of bridging faults in CMOS ICs.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	test invalidation, fault models, fault simulation, Bridging faults
56	Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001	Simulating Resistive Bridging and Stuck-At Faults.	ITC	2003	DBLP DOI BibTeX RDF	Resistive stuck-at faults, probabilistic fault coverage, Resistive bridging faults, bridging fault simulation
56	Kuen-Jong Lee, Jing-Jou Tang, Tsung-Chu Huang, Cheng-Liang Tsai	Combination Of Automatic Test Pattern Generation And Built-In Intermediate Voltage Sensing For Detecting CMOS Bridging Faults.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	CMOS bridging faults detection, ATPG system, built-in intermediate voltage sensing, BIFEST system, PODEM-like process, PPSFP-based process, logic monitoring, gate threshold ranges, Byzantine General's Command Problem, feedback bridging faults, parallel pattern single fault propagation, fault modelling, fault simulation, fault coverage, greedy algorithm, CMOS logic circuits
56	Terry Lee, Ibrahim N. Hajj, Elizabeth M. Rudnick, Janak H. Patel	Genetic-algorithm-based test generation for current testing of bridging faults in CMOS VLSI circuits.	VTS	1996	DBLP DOI BibTeX RDF	GA-based test generators, CMOS VLSI circuits, I/sub DDQ/ current testing, CMOS digital circuits, two-line bridging fault set, compact test set generation, genetic algorithms, VLSI, logic testing, integrated circuit testing, ATPG, automatic test pattern generator, automatic testing, fault location, bridging faults, CMOS digital integrated circuits, adaptive genetic algorithm
49	Baris Arslan, Alex Orailoglu	Extracting Precise Diagnosis of Bridging Faults from Stuck-at Fault Information.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
49	Pan Zhongliang	Bridging Fault Detections for Testable Realizations of Logic Functions.	VLSI Design	2003	DBLP DOI BibTeX RDF
49	Tsuyoshi Shinogi, Tomokazu Kanbayashi, Tomohiro Yoshikawa, Shinji Tsuruoka, Terumine Hayashi	Faulty Resistance Sectioning Technique for Resistive Bridging Fault ATPG Systems.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
49	Lan Zhao, D. M. H. Walker, Fabrizio Lombardi	IDDQ Testing of Bridging Faults in Logic Resources of Reconfigurable Field Programmable Gate Arrays.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF
49	Sankaran M. Menon, Anura P. Jayasumana, Yashwant K. Malaiya	Input Pattern Classification for Transistor Level Testing of Bridging Faults in BiCMOS Circuits.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
49	Daniel Arumí, Rosa Rodríguez-Montañés, Joan Figueras, Stefan Eichenberger, Camelia Hora, Bram Kruseman, Maurice Lousberg, Ananta K. Majhi	Diagnosis of Bridging Defects Based on Current Signatures at Low Power Supply Voltages.	VTS	2007	DBLP DOI BibTeX RDF	Current Based Diagnosis, Current Signatures, I_DDQ, Very Low Voltage, CMOS, Bridging Defect
49	Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker 0001	Automatic Test Pattern Generation for Resistive Bridging Faults.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	resistive short defects, ATPG, SAT, bridging faults
49	Hyun Ko, Hee Yong Youn	Adaptive Bridging with Portable Interceptor for Efficient Integration of Reflective Middleware.	UIC	2006	DBLP DOI BibTeX RDF	Adaptive bridging, portable interceptor, middleware, pervasive computing, heterogeneous, objects
49	Yukiya Miura, Shuichi Seno	Behavior Analysis of Internal Feedback Bridging Faults in CMOS Circuits.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	fault behavior, feedback bridging faults, IDDQ testing, CMOS circuits, fault analysis
49	Lan Zhao, D. M. H. Walker, Fabrizio Lombardi	Detection of bridging faults in logic resources of configurable FPGAs using I_DDQ.	ITC	1998	DBLP DOI BibTeX RDF	IDDQ Tes t, Configurable Logic Blocks, FPGA, Testing, Bridging Fault, Programming Phase
49	Tzuhao Chen, Ibrahim N. Hajj	GOLDENGATE: a fast and accurate bridging fault simulator under a hybrid logic/IDDQ testing environment.	ICCAD	1997	DBLP DOI BibTeX RDF	GOLDENGATE, digital VLSI circuits, electrical-level simulation, event-driven technique, logic/I/sub DDQ/ testing, logic testing, sequential circuits, combinational circuits, bridging fault simulator
49	Alvernon Walker, Algernon P. Henry, Parag K. Lala	An approach for detecting bridging faults in CMOS domino logic circuits using dynamic power supply current monitoring.	DFT	1997	DBLP DOI BibTeX RDF	bridging faults detection, CMOS domino logic circuits, dynamic power supply current monitoring, CMOS logic circuits, transient current
49	Kuen-Jong Lee, Jing-Jou Tang	Two Modeling Techniques For CMOS Circuits To Enhance Test Generation And Fault Simulation For Bridging Faults.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	efficient modeling techniques, enhanced test generation performance, fault modeling technique, inter-gate faults, threshold determination method, SPICE like accuracy, digital logic gates, logic testing, fault simulation, CMOS logic circuits, bridging faults, IDDQ testing, CMOS circuits
49	Sreejit Chakravarty, Yiming Gong	Voting model based diagnosis of bridging faults in combinational circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	MOS logic circuits, voting model based diagnosis, fault list, stuck-at fault dictionary, fault dropping rules, time efficiency, fault diagnosis, logic testing, combinational circuits, combinational circuits, bridging faults, diagnosis algorithm, space efficiency, majority logic, compact data structure
49	Sreejit Chakravarty, Minsheng Liu	Algorithms for IDDQ measurement based diagnosis of bridging faults.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	Bridging faults, diagnosis algorithm, I DDQ testing
47	Rosa Rodríguez-Montañés, Joan Figueras	Bridges in sequential CMOS circuits: current-voltage signatur.	VTS	1997	DBLP DOI BibTeX RDF	sequential CMOS circuits, current-voltage signature, I/sub DDQ/-V/sub DD/ signature, control loop nodes, fault diagnosis, fault diagnosis, temperature dependence, bridging defects
47	Piet Engelke, Bernd Becker 0001, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian	SUPERB: Simulator utilizing parallel evaluation of resistive bridges.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	PPSFP, SPPFP, fault mapping, Resistive bridging faults, bridging fault simulation
44	Ana-Maria Olteteanu	Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning.	Bridging@CogSci	2017	DBLP BibTeX RDF
41	Wei Huang	Failure Probability Evaluation Due to Tin Whiskers Caused Leads Bridging on Compressive Contact Connectors.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
41	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Easily Testable Realization of GRM and ESOP Networks for Detecting Stuck-at and Bridging Faults.	VLSI Design	2004	DBLP DOI BibTeX RDF
41	Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu	On the Characterization of Hard-to-Detect Bridging Faults.	DATE	2003	DBLP DOI BibTeX RDF
41	S. Wayne Bollinger, Scott F. Midkiff	Test generation for IDDQ testing of bridging faults in CMOS circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
41	Michele Favalli, Marcello Dalpasso	How Many Test Vectors We Need to Detect a Bridging Fault?	J. Electron. Test.	2009	DBLP DOI BibTeX RDF	Test generation, Fault simulation, Bridging faults
41	Ajoy Kumar Palit, Kishore K. Duganapalli, Walter Anheier	Influence of Resistive Bridging Fault on Crosstalk Coupling Effects in On-Chip Aggressor-Victim Interconnects.	DFT	2006	DBLP DOI BibTeX RDF	defective interconnects, defect’s severity, fault model, crosstalk, bridging fault
41	James T. Yu, Chibiao Liu	Applications and Performance Analysis of Bridging with Layer-3 Forwarding on Wireless LANs.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	layer-3 forwarding, Wireless LAN, multi-hop, bridging
41	Ilia Polian, Piet Engelke, Bernd Becker 0001	Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics.	ISMVL	2002	DBLP DOI BibTeX RDF	Voting models, Fault simulation, Bridging faults
41	Arabi Keshk, Yukiya Miura, Kozo Kinoshita	Simulation of resistive bridging fault to minimize the presence of intermediate voltage and oscillation in CMOS circuits.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	circuit oscillations, transistor level networks, feedback oscillation, Byzantine General's problems, logic threshold, logic testing, logic testing, integrated circuit testing, fault coverage, fault location, bridging fault, CMOS circuits, CMOS digital integrated circuits, test vector
41	Srikanth Venkataraman, W. Kent Fuchs	A deductive technique for diagnosis of bridging faults.	ICCAD	1997	DBLP DOI BibTeX RDF	Diagnosis, Bridging faults, Deduction
41	Sankaran M. Menon, Yashwant K. Malaiya, Anura P. Jayasumana	Input Pattern Classification for Detection of Stuck-ON and Bridging Faults Using IDDQ Testing in BiCMOS and CMOS Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF	input pattern classification, BiCMOS circuits, quiescent power supply current monitoring, enhanced I/sub DDQ/, fault diagnosis, bridging faults, CMOS circuits, I/sub DDQ/ testing, stuck-ON faults
41	Rosa Rodríguez-Montañés, E. M. J. G. Bruls, Joan Figueras	Bridging defects resistance in the metal layer of a CMOS process.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	resistance of the bridge, defect modelling, bridging defects, CMOS process
41	Sreejit Chakravarty, Paul J. Thadikaran	Algorithms to select IDDQ measurement points to detect bridging faults.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	bridging faults, test selection, I DDQ test
41	Michel Renovell, P. Huc, Yves Bertrand	The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault.	EDCC	1996	DBLP DOI BibTeX RDF	Test, Fault Modelling, Bridging Fault
41	Brian Chess, David B. Lavo, F. Joel Ferguson, Tracy Larrabee	Diagnosis of realistic bridging faults with single stuck-at information.	ICCAD	1995	DBLP DOI BibTeX RDF	match requirement, match restriction, realistic bridging faults diagnosis, single stuck-at dictionaries, single stuck-at information, stuck-at diagnosis, stuck-at methods, fault diagnosis, logic testing, fault location, failure analysis, failure recovery
41	Remata S. Reddy, Irith Pomeranz, Sudhakar M. Reddy, Seiji Kajihara	Compact test generation for bridging faults under IDDQ testing.	VTS	1995	DBLP DOI BibTeX RDF	compact test generation, bit-adders, logic testing, partitioning, integrated circuit testing, fault location, stuck-at faults, CMOS logic circuits, bridging faults, logic partitioning, I/sub DDQ/ testing
34	Claudia Schon (eds.)	Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Marcos Cramer, Mathieu Guillaume	Directionality of Attacks in Natural Language Argumentation.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Andrew Fish, Alexei Lisitsa 0001, Alexei Vernitski	Towards Human Readability of Automated Unknottedness Proofs.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Steffen Hölldobler	Ethical Decision Making under the Weak Completion Semantics.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Sjur K. Dyrkolbotn, Truls Pedersen	A Formal Analysis of Enthymematic Arguments.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Alison Pease, Ursula Martin	Automating "Human-Like" Example-Use in Mathematics.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Stefania Costantini, Abeer Dyoub, Valentina Pitoni	Reflection and Introspection for Humanized Intelligent Agents.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Lawrence S. Moss, Charlotte Raty	Reasoning About the Sizes of Sets: Progress, Problems, and Prospects.	Bridging@IJCAI/ECAI	2018	DBLP BibTeX RDF
34	Claudia Schon, Ulrich Furbach (eds.)	Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Antonis C. Kakas	Informalizing Formal Logic.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha	The Weak Completion Semantics.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz	Principles and Clusters in Human Syllogistic Reasoning.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Robert A. Kowalski	Satisfiability for First-order Logic as a Non-Modal Deontic Logic.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Luís Moniz Pereira, Ari Saptawijaya	Agent Morality via Counterfactuals in Logic Programming.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Marco Ragni, Nicolas Riesterer	The Search for Cognitive Models: Standards and Challenges.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Ilir Kola, Marco Ragni	Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering.	Bridging@CogSci	2017	DBLP BibTeX RDF
34	Ergun Akleman, Lyn Bartram, Anil Çamci, Angus G. Forbes, Penousal Machado (eds.)	5th Joint Symposium on Computational Aesthetics, Sketch-Based Interfaces and Modeling, and Non-Photorealistic Animation and Rendering, Expressive 2016 - Posters, Artworks, and Bridging Papers, Lisbon, Portugal, May 7-9, 2016, Proceedings	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP BibTeX RDF
34	Claudia Schon, Ulrich Furbach (eds.)	Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Catarina Maçãs, Penousal Machado	The Rhythm of Consumption.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Serike Cakmak, Tevfik Metin Sezgin	Building a Gold Standard for Perceptual Sketch Similarity.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Nuno Cabrita, Gilberto Bernardes	Relational Interactive Art: A Framework for Interaction in a Social Context.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Pedro Alves da Veiga	Alchimia: an Inexplicable or Mysterious Transmutation, a Seemingly Magical Process of Transformation, Creation, or Combination.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Li Ji 0001, Brian Wyvill, Lynda Gammon, Amy Gooch	Composition and Perception beyond Photorealism.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Esteban García Bravo, Tim McGraw	Bodygraphe: Gestural Computing for Visual Music.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Ozan Can Altiok, Kemal Tugrul Yesilbek, Tevfik Metin Sezgin	What Auto Completion Tells Us About Sketch Recognition.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Ana Beatriz Correia, Penousal Machado	The Aesthetics of Routine.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Çagla Çig, Tevfik Metin Sezgin	Gaze-Based Biometric Authentication: Hand-Eye Coordination Patterns as a Biometric Trait.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Amir Semmo, Matthias Trapp 0001, Sebastian Pasewaldt, Jürgen Döllner	Interactive Oil Paint Filtering On Mobile Devices.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Katayoon Etemad, Faramarz Samavati, Sheelagh Carpendale	Artistic Inspired Data Visualization Design Process.	Expressive (Posters, Artworks, and Bridging Papers)	2016	DBLP DOI BibTeX RDF
34	Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni	Syllogistic Reasoning under the Weak Completion Semantics.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler	Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Sangeet Khemlani	Automating Human Inference.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Ulrich Furbach, Claudia Schon	Commonsense Reasoning Meets Theorem Proving.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Ulrich Furbach, Florian Furbach, Christian Freksa	Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Aaron Sloman	Natural Vision and Mathematics: Seeing Impossibilities.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Naveen Sundar Govindarajulu, Selmer Bringsjord	Crowdsourcing Theorem Proving via Natural Games.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Antonis C. Kakas, Loizos Michael, Francesca Toni	Argumentation: Reconciling Human and Automated Reasoning.	Bridging@IJCAI	2016	DBLP BibTeX RDF
34	Ulrich Furbach, Claudia Schon (eds.)	Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.	Bridging@CADE	2015	DBLP BibTeX RDF
34	Ulrich Furbach, Andrew S. Gordon, Claudia Schon	Tackling Benchmark Problems of Commonsense Reasoning.	Bridging@CADE	2015	DBLP BibTeX RDF
34	Alexandra Varga, Keith Stenning, Laura Martignon	There is no one Logic to Model Human Reasoning: the Case from Interpretation.	Bridging@CADE	2015	DBLP BibTeX RDF
34	Bernhard Beckert, Sarah Grebing	Interactive Theorem Proving - Modelling the User in the Proof Process.	Bridging@CADE	2015	DBLP BibTeX RDF
34	Steffen Hölldobler	Weak Completion Semantics and its Applications in Human Reasoning.	Bridging@CADE	2015	DBLP BibTeX RDF
34	Emanuelle-Anna Dietz	A Computational Logic Approach to Syllogisms in Human Reasoning.	Bridging@CADE	2015	DBLP BibTeX RDF
34		Help Me Help You: Bridging the Gaps in Human-Agent Collaboration, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-05, Stanford, California, USA, March 21-23, 2011	AAAI Spring Symposium: Help Me Help You: Bridging the Gaps in Human-Agent Collaboration	2011	DBLP BibTeX RDF