Search results for "three-valued logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Peng Dong, Feng Dai, Yingjiang Li	The Risk Assessment of Bank Based on Multiple Correlation Analysis and Three-Valued Logic Neuron Model.	APWCS	2010	DBLP DOI BibTeX RDF	multiple correlation analysis, three-valued logic neural network, risk evaluation
2	Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli	Logic Programs under Three-Valued Lukasiewicz Semantics.	ICLP	2009	DBLP DOI BibTeX RDF	Three Valued Logic Programs, ?ukasiewicz Semantics
2	Shier Ju, Xuefeng Wen	An n -Player Semantic Game for an n + 1-Valued Logic.	Studia Logica	2008	DBLP DOI BibTeX RDF	semantic game, many-valued logic, three-valued logic, multi-player game
2	Claude Rubinson	Nulls, three-valued logic, and ambiguity in SQL: critiquing date's critique.	SIGMOD Record	2007	DBLP DOI BibTeX RDF	SQL
2	Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit	Statistical debugging using compound boolean predicates.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic
2	Jens Brandt, Klaus Schneider	Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.	ICFEM	2005	DBLP DOI BibTeX RDF
2	Tobias Schüle, Klaus Schneider	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	I. D. Zaslavsky	Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic.	TbiLLC	2005	DBLP DOI BibTeX RDF	three-valued predicate, Luk-theory, Luk-consistent theory, Lukcomplete theory, Luk-decidable theory
2	Witold Pedrycz	Granular Computing with Shadowed Sets.	RSFDGrC	2005	DBLP DOI BibTeX RDF	shadowed sets, principle of uncertainty localization, relational equations, data interpretation, cores of clusters, fuzzy sets, fuzzy clustering, outliers, three-valued logic
2	Mauricio Osorio, Verónica Borja Macías, José Arrazola	Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
2	Carlo Combi, Giuseppe Pozzi	HMAP - A temporal data model managing intervals with different granularities and indeterminacy from natural language sentences.	VLDB J.	2001	DBLP DOI BibTeX RDF	Time indeterminacy, Temporal databases, Three-valued logic, Time granularity
2	Stephan Winter	Topological Relations in Hierarchical Partitions.	COSIT	1999	DBLP DOI BibTeX RDF	hierarchical spatial reasoning, mixed pixels, rough location, three-valued logic, topological relations
2	Carlo Combi, Giancarlo Cucchi	GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	temporally-oriented, GCH-OSQL, clinical data, object-oriented temporal data model, mixed granularities, object-oriented, query language, temporal databases, temporal databases, temporal data, three-valued logic, valid time
2	Jim Grundy	A Three-Valued Logic for Refinement.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
2	Douglas R. Busch	An Expressive Three-valued Logic with Two Negations.	ISMIS	1993	DBLP DOI BibTeX RDF
2	Nadim Obeid	Answers to modal and hypothetical questions in knowledge base systems.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	Helpful answers, modal and hypothetical questions, theorem proper, three-valued logic, partial information
2	Phan Minh Dung	On the strong completion of logic programs.	ALP	1990	DBLP DOI BibTeX RDF	predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
2	Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle	A Three-Valued Logic for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
2	Peter H. Schmitt	Computational Aspects of Three-Valued Logic.	CADE	1986	DBLP DOI BibTeX RDF
1	Yunshan Zhao, Yawen Wang, Yunzhan Gong, Honghe Chen, Qing Xiao, Zhaohong Yang	STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic.	APSEC	2011	DBLP DOI BibTeX RDF
1	Asma Moubaiddin, Nadim Obeid	Partial information basis for agent-based collaborative dialogue.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Partial information states, Agent, Theorem proving, Argument, Dialogue, Three-valued logic, Nonmonotonic
1	C. J. Date	A critique of Claude Rubinson's paper nulls, three - valued logic, and ambiguity in SQL: critiquing Date's critique.	SIGMOD Record	2008	DBLP DOI BibTeX RDF
1	Bishal Barman, Sushmita Mitra, Witold Pedrycz	Shadowed Clustering for Speech Data and Medical Image Segmentation.	RSCTC	2008	DBLP DOI BibTeX RDF	Shadowed clustering, rough-fuzzy clustering, CT scan imaging, image segmentation, three-valued logic
1	Asma Moubaiddin, Nadim Obeid	Dialogue and Argumentation in Multi-agent Diagnosis.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Multi-Agent Systems, Argumentation, Dialogue, Nonmonotonic Reasoning, Intelligent Interfaces, Model-based Diagnosis, Three-Valued Logic
1	Guy De Tré, Rita M. M. De Caluwe, Henri Prade	Null values in fuzzy databases.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Unknown information, Inapplicable information, Extended possibilistic truth values, Fuzzy database modelling, Incomplete information, Null value
1	Arnon Avron, Beata Konikowska	Rough Sets and 3-Valued Logics.	Studia Logica	2008	DBLP DOI BibTeX RDF	rough sets, three-valued logics, sequent calculi, non-deterministic matrices
1	Filippo Furfaro, Sergio Greco, Cristian Molinaro	A three-valued semantics for querying and repairing inconsistent databases.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68P15
1	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
1	Ikuo Tahara, Shiho Nobesawa	Three-valued logic for reasoning from an inconsistent knowledge base.	Systems and Computers in Japan	2006	DBLP DOI BibTeX RDF
1	Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak	JADL - An Agent Description Language for Smart Agents.	DALT	2006	DBLP DOI BibTeX RDF
1	Guilin Qi, Peter Milligan, Paul Sage	Incidence Calculus on Lukasiewicz's Three-valued Logic.	Fundam. Inform.	2005	DBLP BibTeX RDF
1	Alejandro Pauly, Markus Schneider	Identifying topological predicates for vague spatial objects.	SAC	2005	DBLP DOI BibTeX RDF	VASA, cancellation rule, clustering rule, vague spatial data type, query language, three-valued logic
1	Tsutomu Sasao, Munehiro Matsuura	BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.	DAC	2005	DBLP DOI BibTeX RDF	code converter, BDD, cascade, characteristic function, incompletely specified function
1	Jens Brandt, Klaus Schneider	Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.	EUC	2005	DBLP DOI BibTeX RDF
1	Nadim Obeid	A Formalism for Representing and Reasoning with Temporal Information, Event and Change.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	three-valued, event, change, temporal, nonmonotonic
1	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Studia Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
1	Nikolay Pelov, Marc Denecker, Maurice Bruynooghe	Partial Stable Models for Logic Programs with Aggregates.	LPNMR	2004	DBLP DOI BibTeX RDF
1	Guilin Qi	Probabilistic Inference on Three-Valued Logic.	RSFDGrC	2003	DBLP DOI BibTeX RDF
1	Guanghui Li, Ming Shao, Xiaowei Li	Design Error Diagnosis Based on Verification Techniques.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
1	Kristofer Vorwerk, G. N. Paulley	On Implicate Discovery and Query Optimization. (PDF / PS)	IDEAS	2002	DBLP DOI BibTeX RDF
1	Daisuke Kachi	Tensed Ontology Based on Simple Partial Logic. (PDF / PS)	TIME	2002	DBLP DOI BibTeX RDF
1	Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv	Compactly Representing First-Order Structures for Static Analysis.	SAS	2002	DBLP DOI BibTeX RDF
1	Tomasz Bigaj	Three-valued Logic, Indeterminacy and Quantum Mechanics.	J. Philosophical Logic	2001	DBLP DOI BibTeX RDF
1	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner, Michael Steinbrunn	Optimization and Evaluation of Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	disjunctive queries, query evaluation plans, expensive query predicates, bypass processing, query processing, Query optimization
1	Slim Abdennadher, Christophe Rigotti	Automatic Generation of Propagation Rules for Finite Domains.	CP	2000	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv	A Kleene Analysis of Mobile Ambients.	ESOP	2000	DBLP DOI BibTeX RDF
1	Nils Klarlund, Anders Møller, Michael I. Schwartzbach	MONA Implementation Secrets.	CIAA	2000	DBLP DOI BibTeX RDF
1	Mario Szegedy	Many-Valued Logics and Holographic Proofs.	ICALP	1999	DBLP DOI BibTeX RDF
1	Bernd Becker, Martin Keim, Rolf Krieger	Hybrid Fault Simulation for Synchronous Sequential Circuits.	J. Electronic Testing	1999	DBLP DOI BibTeX RDF	SOT, fault simulation, BDD, symbolic simulation, MOT
1	Jan A. Bergstra, Alban Ponse	Kleene's Three-Valued Logic and Process Algebra.	Inf. Process. Lett.	1998	DBLP DOI BibTeX RDF
1	Norman Feldman	The Cylindric Algebras of Three-Valued Logic.	J. Symb. Log.	1998	DBLP BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	Low-complexity fault simulation under the multiple observation time and the restricted multiple observation time testing approaches.	IEEE Trans. on CAD of Integrated Circuits and Systems	1998	DBLP DOI BibTeX RDF
1	O. Kibar, Philippe J. Marchand, Sadik C. Esener	High-speed CMOS switch designs for free-space optoelectronic MIN's.	IEEE Trans. VLSI Syst.	1998	DBLP DOI BibTeX RDF
1	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo	Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.	AISC	1998	DBLP DOI BibTeX RDF
1	Patrick Behm, Lilian Burdy, Jean-Marc Meynadier	Well Defined B.	B	1998	DBLP DOI BibTeX RDF
1	Manfred Kerber	On Knowledge, Strings, and Paradoxes.	JELIA	1998	DBLP DOI BibTeX RDF
1	Antonio Brogi, Simone Contiero, Franco Turini	The Use of Renaming in Composing General Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
1	James L. Caldwell	Classical Propositional Decidability via Nuprl Proof Extraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
1	Tsutomu Sasao	Ternary Decision Diagrams: Survey. (PDF / PS)	ISMVL	1997	DBLP DOI BibTeX RDF	Representation of logic functions, Sum-of-products expression, Reed-Muller expression, Kleene logic, logic simulation, Three-valued logic, prime implicants, Exclusive-OR
1	Ismed Hartanto, Vamsi Boppana, Janak H. Patel, W. Kent Fuchs	Diagnostic Test Pattern Generation for Sequential Circuits.	VTS	1997	DBLP DOI BibTeX RDF
1	Seiki Akama	Three-Valued Constructive Logic and Logic Programs. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
1	Hiroshi Aoyama	The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.	Notre Dame Journal of Formal Logic	1994	DBLP BibTeX RDF
1	Taïeb Mellouli	TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic.	J. Autom. Reasoning	1994	DBLP DOI BibTeX RDF
1	Manfred Kerber, Michael Kohlhase	A Mechanization of Strong Kleene Logic for Partial Functions.	CADE	1994	DBLP DOI BibTeX RDF
1	Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos	Passive and Active Rules in Deductive Databases.	MFCS	1994	DBLP DOI BibTeX RDF
1	Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora	Legality Concepts for Three-Valued Logic Programs.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
1	Josep Maria Font, Massoud Moussavi	Note on a six-valued extension of three-valued logic.	Journal of Applied Non-Classical Logics	1993	DBLP BibTeX RDF
1	Douglas R. Busch	A Sequent Axiomatization of Three-valued Logic with Two Negations.	LPNMR	1993	DBLP BibTeX RDF
1	Kwang-Ting Cheng	Redundancy removal for sequential circuits without reset states.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
1	Matthias Baaz, Richard Zach	Note on calculi for a three-valued logic for logic programming..	Bulletin of the EATCS	1992	DBLP BibTeX RDF
1	Konstantin Vershinin, Igor Romanenko	One More Logic with Uncertainty and Resolution Principle for it.	CADE	1992	DBLP DOI BibTeX RDF
1	Jean-Paul Delahaye, V. Thibau	Programming in Three-valued Logic.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	Jacqueline Vauzeilles	Intuitionistic three-valued logic and logic programming.	ITA	1991	DBLP BibTeX RDF
1	Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle	A three-valued logic for software specification and validation.	Fundam. Inform.	1991	DBLP BibTeX RDF
1	Peter H. Schmitt	Deductive Aspects of Three-Valued Logic.	Text Understanding in LILOG	1991	DBLP DOI BibTeX RDF
1	Jacqueline Vauzeilles	Negation as failure and intuitionistic three-valued logic.	FAIR	1991	DBLP DOI BibTeX RDF
1	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	The Well-Founded Semantics for General Logic Programs.	J. ACM	1991	DBLP DOI BibTeX RDF	unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
1	Karl Fuchs, Franz Fink, Michael H. Schulz	DYNAMITE: an efficient automatic test pattern generation system for path delay faults.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	C. A. Middelburg, Gerard R. Renardel de Lavalette	LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K.	VDM Europe	1991	DBLP DOI BibTeX RDF
1	Ricardo A. Munoz, Chao-Chih Yang	Using Normal Deduction Graphs in Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF	normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
1	Luc De Raedt, Maurice Bruynooghe	On Negation and Three-Valued Logic in Interactive Concept-Learning.	ECAI	1990	DBLP BibTeX RDF
1	Philippe Mathieu, Jean-Paul Delahaye	The Logical Compilation of Knowledge Bases.	JELIA	1990	DBLP DOI BibTeX RDF	Key-words Expert system, knowledge representation, three-valued logic, forward chaining
1	Taisuke Sato	An Equivalence Preserving First Order Unfold/fold Transformation System.	ALP	1990	DBLP DOI BibTeX RDF
1	Patrick Doherty	NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.	JELIA	1990	DBLP DOI BibTeX RDF
1	Osamu Morikawa	Some Modal Logics Based on a Three-Valued Logic.	Notre Dame Journal of Formal Logic	1989	DBLP BibTeX RDF
1	Ivan Stojmenovic	On sheffer symmetric functions in three-valued logic.	Discrete Applied Mathematics	1989	DBLP DOI BibTeX RDF
1	Raju Kocharekar	Nulls in Relational Databases: Revisited.	SIGMOD Record	1989	DBLP DOI BibTeX RDF
1	Melvin Fitting, Marion Ben-Jacob	Stratified and Three-valued Logic Programming Semantics.	ICLP/SLP	1988	DBLP BibTeX RDF
1	Andrzej Blikle	Three-Valued Predicates for Software Specification and Validation.	VDM Europe	1988	DBLP DOI BibTeX RDF
1	Peter H. Schmitt	Computational aspects of three-valued logic	LILOG-Report	1987	RDF
1	H. T. Mouftah, Kenneth C. Smith, Zvonko G. Vranesic	Ternary Rate-Multipliers.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	rate-multipliers, Integrated circuits, three-valued logic
1	Tsutomu Sasao, Kozo Kinoshita	Cascade Realization of 3-Input 3-Output Conservative Logic Circuits.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	universality of logic elements, Cascade realization, conservative logic element (CLE), logic primitives, magnetic bubble logic, minimum circuit, three-valued logic