Search results for "truth"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Josep Maria Font	Taking Degrees of Truth Seriously.	Stud Logica	2009	DBLP DOI BibTeX RDF	Suszko’s Thesis, logical values, truth degrees, logics preserving degrees of truth, semantics, many-valued logic, abstract algebraic logic, truth values
93	Noboru Takagi	Some Properties of Logic Functions over Multi-interval Truth Values.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
81	Yaroslav Shramko, Heinrich Wansing	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
80	Nuel Belnap	Truth Values, Neither-true-nor-false, and Supervaluations.	Stud Logica	2009	DBLP DOI BibTeX RDF	neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values
74	João Marcos 0001	What is a Non-truth-functional Logic?	Stud Logica	2009	DBLP DOI BibTeX RDF	Abstract logics, truth-functionality, formal semantics
74	Li Zou, Wenjiang Li, Yang Xu 0001	Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making
63	Yaoyao Zhu, Xiaolei Huang 0001, Wei Wang 0057, Daniel P. Lopresti, L. Rodney Long, Sameer K. Antani, Zhiyun Xue, George R. Thoma	Balancing the Role of Priors in Multi-Observer Segmentation Evaluation.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Multi-observer, STAPLE, Segmentation, Specificity, Validation, Sensitivity, Precision, Ground truth, Bayesian decision
63	Itala M. Loffredo D'Ottaviano, Carlos Hifume	Peircean Pragmatic Truth and da Costa's Quasi-Truth.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
60	Zhengjiang Wu, Xin Liu 0048, Li Zou, Yang Xu 0001	Transformation of Linguistic Truth Values During the Sensor Evaluation.	ICFIE	2007	DBLP DOI BibTeX RDF	Linguistic truth value, Standard linguistic truth value, Sensor evaluation
57	Jorma K. Mattila	On Models in Fuzzy Propositional Logic.	KES (3)	2006	DBLP DOI BibTeX RDF	Fuzzy Propositional Logic, Fuzzy Truth-values, Model, Modifier
57	Lon A. Berk	The Liar, Context and Logical Form.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	liar paradox, context, truth
51	Stephen Read	The Truth Schema and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
51	Terence Parsons	Comments on Stephen Read's "The Truth-Schema and the Liar".	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
51	Gyula Klima	Logic Without Truth.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
51	Greg Restall	Models for Liars in Bradwardine's Theory of Truth.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
51	Didier Dubois, Jérôme Lang, Henri Prade	A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
51	Cees Witteveen	A Skeptical Semantics for Truth Maintenance.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
51	Laura Giordano 0001, Alberto Martelli	Truth Maintenance Systems and Belief Revision.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
50	GuoJun Wang, QiaoLin Duan	Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
50	Roy T. Cook	What is a Truth Value And How Many Are There?	Stud Logica	2009	DBLP DOI BibTeX RDF	Absolute Generality, Indefinite Extensibility, Liar Paradox, Revenge Problem, Semantics, Set Theory, Truth Value
50	Jun Li, Guojun Wang	Theory of truth degrees of propositions in the logic system Ln*.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	truth degree, approximate reasoning, similarity degree
50	Guy De Tré, Rita M. M. De Caluwe, Jörg Verstraete, Axel Hallez	Conjunctive Aggregation of Extended Possibilistic Truth Values and Flexible Database Querying.	FQAS	2002	DBLP DOI BibTeX RDF	Flexible database querying, extended possibilistic truth values, conjunctive aggregation
46	Zheng Pei 0001	The Algebraic Properties of Linguistic Value "Truth" and Its Reasoning.	IFSA (1)	2007	DBLP DOI BibTeX RDF
46	Hiroaki Kikuchi, Noboru Takagi	de Morgan Bisemilattice of Fuzzy Truth Value.	ISMVL	2002	DBLP DOI BibTeX RDF
46	Masao Mukaidono	Several Extensions of Truth Values in Fuzzy Logic.	ISMIS	1999	DBLP DOI BibTeX RDF
44	Francesc Esteva, Lluís Godo, Carles Noguera	Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
44	Clifford Conley Owens III, T. M. Murali 0001, Naren Ramakrishnan	Capturing truthiness: mining truth tables in binary datasets.	SAC	2009	DBLP DOI BibTeX RDF	independence models, levelwise algorithms, truth tables
44	Sabine Randriamasy	A set-based benchmarking method for address bloc location on arbitrarily complex grey level images.	ICDAR	1995	DBLP DOI BibTeX RDF	set-based benchmarking method, address bloc location, arbitrarily complex grey level images, mailpiece, ground truth file, automatically located zones, ground truth lines, adaptive binarization, manually located zones, partial line locatation, contents-related text line importance, explicit error diagnosis, numerical evaluation, image segmentation, layouts, pixels, page segmentation, visual quality
43	Truth Lumor, Mirja Pulkkinen, Yolande E. Chan, Ari P. Hirvonen	Exploring the Renewal of IT-enabled Resources from a Structural Perspective.	Commun. Assoc. Inf. Syst.	2023	DBLP BibTeX RDF
43	Truth Lumor, Mirja Pulkkinen, Ari P. Hirvonen, Pekka Neittaanmäki	Creating the Socio-technical Context Needed to Derive Benefits from Big Data Initiatives in Healthcare.	Scand. J. Inf. Syst.	2021	DBLP BibTeX RDF
43	Truth Lumor, Ari P. Hirvonen, Mirja Pulkkinen	The Role of Enterprise Architecture in Building and Sustaining Information Technology - Enabled Organizational Agility.	HICSS	2021	DBLP BibTeX RDF
43	Truth Lumor, Mirja Pulkkinen, Ari P. Hirvonen	The Actual Adoption and Use of Mobile Apps: The Case of a Higher Education Context.	AMCIS	2020	DBLP BibTeX RDF
43	Truth Lumor	Factors that Influence Information Technology Use during Post-Implementation: a literature Review.	ECIS	2019	DBLP BibTeX RDF
43	Truth Lumor	Investigating the Structural Properties of an IT-Enabled Resource.	SCIS	2019	DBLP BibTeX RDF
43	Truth Lumor, Eng Chew, Asif Qumer Gill	Exploring the Role of Enterprise Architecture in IS-enabled Ot: An EA Principles Perspective.	EDOC Workshops	2016	DBLP DOI BibTeX RDF
40	Andreas Fischer 0002, Emanuel Indermühle, Horst Bunke, Gabriel Viehhauser, Michael Stolz	Ground truth creation for handwriting recognition in historical documents.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF
40	Noboru Takagi, Kyoichi Nakashima	Discrete Interval Truth Values Logic and Its Application.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	set logic, set-valued function, static hazard, regularity, Multiple-valued logic
40	Neli Zlatareva	Truth maintenance systems and their application for verifying Expert System Knowledge Bases.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	Verification of Rule-based Systems, Expert Systems Design, Knowledge-based Systems, Belief Revision, Nonmonotonic Reasoning
40	Roope Kaivola, Antti Valmari	Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.	CONCUR	1991	DBLP DOI BibTeX RDF
40	Jan Wolenski	Read about T-Scheme.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Claude Panaccio	Restrictionism: A Medieval Approach Revisited.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Stephen Read	Further Thoughts on Tarski's T-scheme and the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Bradley Armour-Garb	Read and Indirect Revenge.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Barry Hartley Slater	Out of the Liar Tangle.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Fabienne Pironet	William Heytesbury and the Treatment of Insolubilia in Fourteenth-Century England Followed by a Critical Edition of Three Anonymous Treatises De Insolubilibus Inspired by Heytesbury.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	José M. Sagüillo	On a New Account of the Liar.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Laurence Goldstein	Doubting Thomas: From Bradwardine Back to Anon.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	György Serény	The Liar Cannot Be Solved.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Eugene Mills	Scheming and Lying.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	Catarina Dutilh Novaes	Tarski's Hidden Theory of Meaning: Sentences Say Exactly One Thing.	Unity, Truth and the Liar	2008	DBLP DOI BibTeX RDF
40	João P. Martins, Michael Reinfrank (eds.)	Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings	Truth Maintenance Systems (ECAI Workshop)	1991	DBLP DOI BibTeX RDF
40	Antonis C. Kakas, Paolo Mancarella	Knowledge Assimilation and Abduction.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Pierre Tayrac	ARC: An Extended ATMS Based on Directed CAT-Correct Resolution.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Yasushi Fujiwara, Shinichi Honiden	On Logical Foundations of the ATMS.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Oskar Dressler, Adam Farquhar	Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the AMTS.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Katsumi Inoue	An Abductive Procedure for the CMS/ATMS.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Ulrich Junker	Variations on Backtracking for TMS.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
40	Peter Jackson, John Pais	Semantic Accounts of Belief Revision.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
39	Benjamin Schnieder	Truth-Making without Truth-Makers.	Synth.	2006	DBLP DOI BibTeX RDF
39	Greg Restall	Truth Values and Proof Theory.	Stud Logica	2009	DBLP DOI BibTeX RDF	Completeness, Modal Logic, Proof, Sequent Calculus, Intuitionistic Logic, Truth Value
39	Roberto Cignoli, Francesc Esteva, Lluís Godo	On Lukasiewicz Logic with Truth Constants.	IFSA (2)	2007	DBLP DOI BibTeX RDF	truth-constants, canonical standard completeness, ?ukasiewicz logic
39	Laurent Bienvenu, David Doty, Frank Stephan 0001	Constructive Dimension and Weak Truth-Table Degrees.	CiE	2007	DBLP DOI BibTeX RDF	weak truth-table, randomness, extractor, degree, constructive dimension
39	Gabriella Pigozzi, Stephan Hartmann 0001	Aggregation in multiagent systems and the problem of truth-tracking.	AAMAS	2007	DBLP DOI BibTeX RDF	doctrinal paradox, truth-tracking, information fusion, group decision-making, judgment aggregation, belief merging
34	Amol Ambardekar, Mircea Nicolescu, Sergiu Dascalu	Ground Truth Verification Tool (GTVT) for Video Surveillance Systems.	ACHI	2009	DBLP DOI BibTeX RDF
34	Thomas Strecker, Joost van Beusekom, Sahin Albayrak, Thomas M. Breuel	Automated Ground Truth Data Generation for Newspaper Document Images.	ICDAR	2009	DBLP DOI BibTeX RDF
34	Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki	Does truth-table of linear norm reduce the one-query tautologies to a random oracle?	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
34	John Harding, Carol L. Walker, Elbert A. Walker	On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
34	Li Yang, Weihua Huang, Chew Lim Tan	Semi-automatic Ground Truth Generation for Chart Image Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
34	Apostolos Antonacopoulos, Dimosthenis Karatzas, David Bridson	Ground Truth for Layout Analysis Performance Evaluation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
34	Gang Liu, Robert M. Haralick	Vehicle Ground-Truth Database for the Vertical-View Ft. Hood Imagery.	ICPR	2000	DBLP DOI BibTeX RDF
34	Noboru Takagi, Kyoichi Nakashima	Some Properties of Discrete Interval Truth Valued Logic.	ISMVL	2000	DBLP DOI BibTeX RDF
34	Kathrin Glüer, Peter Pagin	Relational Modality.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Definite descriptions, Necessity, Proper names, Rigid designators, Modality, Truth, Possible worlds semantics, Logical consequence
34	Yinshui Xia, Lun-Yao Wang, Zong-Gang Zhou, Xien Ye, Jianping Hu	Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	fixed polarity, mixed polarity, Reed-Muller, truth vector, logic synthesis
34	Nuel Belnap	Under Carnap's Lamp: Flat Pre-semantics.	Stud Logica	2005	DBLP DOI BibTeX RDF	emantics, pre-semantics, Carnap, operations, meanings, truth
34	Susan Cotterell, Frank Vahid	A logic block enabling logic configuration by non-experts in sensor networks.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	eBlocks, embedded computing systems, sensor networks, boolean logic, truth table
34	Guy De Tré, Tom Matthé, Koen Tourné, Bert Callens	Ranking the Possible Alternatives in Flexible Querying: An Extended Possibilistic Approach.	ISCIS	2003	DBLP DOI BibTeX RDF	Flexible database querying, extended possibilistic truth values, ranking functions
33	Thomas M. Alisi, Marco Bertini 0001, Gianpaolo D'Amico, Alberto Del Bimbo, Andrea Ferracani, Federico Pernici, Giuseppe Serra 0001	Arneb: a rich internet application for ground truth annotation of videos.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	video streaming, video annotation, ground truth
33	Xu Tian, Xiaohong Huang, Qiong Sun	LCGT: A Low-Cost Continuous Ground Truth Generation Method for Traffic Classification.	APNOMS	2009	DBLP DOI BibTeX RDF	automated, traffic classification, low-cost, ground truth
33	Fabiana Lorenzi	A multiagent knowledge-based recommender approach with truth maintenance.	RecSys	2007	DBLP DOI BibTeX RDF	coordination among agents, recommender systems, multiagent systems, truth maintenance system
33	Benjamin Z. Yao, Xiong Yang, Song Chun Zhu	Introduction to a Large-Scale General Purpose Ground Truth Database: Methodology, Annotation Tool and Benchmarks.	EMMCVPR	2007	DBLP DOI BibTeX RDF	Ground truth Annotation, Sketch representation, Top-down/Bottom-up Labeling, Benchmark, Image database
33	George Barmpalias	Hypersimplicity and semicomputability in the weak truth table degrees.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Hypersimple, Semicomputable, Weak Truth Table Degrees
33	Thomas Lukasiewicz	Probabilistic and Truth-Functional Many-Valued Logic Programming.	ISMVL	1999	DBLP DOI BibTeX RDF	many-valued logic programming, logics of probability, truth-functional many-valued logics
33	John D. Hobby	Matching document images with ground truth.	Int. J. Document Anal. Recognit.	1998	DBLP DOI BibTeX RDF	Nelder-Mead algorithm, Optical character recognition, Ground truth
33	Yuejun Jiang	Another View of Autoepistemic Logic and Truth Maintenance System.	ISMIS	1991	DBLP DOI BibTeX RDF	Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation
33	Ben Hagag, Reut Tsarfaty	The Truth, The Whole Truth, and Nothing but the Truth: A New Benchmark Dataset for Hebrew Text Credibility Assessment.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
33	Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller	The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.	ACM Trans. Program. Lang. Syst.	2016	DBLP BibTeX RDF
33	Simon Dixon, Dan Tidhar, Emmanouil Benetos	The Temperament Police: The Truth, the Ground Truth, and Nothing but the Truth.	ISMIR	2011	DBLP BibTeX RDF
33	João P. Martins	The Truth, the Whole Truth, and Nothing But the Truth.	AI Mag.	1991	DBLP DOI BibTeX RDF
32	Amitava Dutta, Sabyasachi Mitra	Integrating Heuristic Knowledge and Optimization Models for Communications Network Design.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	communication network design, heuristic design knowledge, TMS, dependency-directed backtracking mechanism, hybrid tool, modular structure, incremental refinement, truth maintenance, CAD, knowledge based systems, decision support systems, computer networks, telecommunications computing, optimization models, blackboard, blackboard architecture, justification, topological design, truth maintenance system, computer communication networks
29	Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta	Dynamic inference of likely data preconditions over predicates by tree learning.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, verification, decision trees, sat, software specification
29	Ce Liu 0001, William T. Freeman, Edward H. Adelson, Yair Weiss	Human-assisted motion annotation.	CVPR	2008	DBLP DOI BibTeX RDF
29	Xunwei Zhou	Mutually-Inversistic Logic with Uncertainty.	FSKD (1)	2008	DBLP DOI BibTeX RDF
29	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Collaborative Fuzzy Agents Using Constraint Logic Programming over Finite Domains.	OTM Workshops	2004	DBLP DOI BibTeX RDF
29	Stefan Agne, Andreas Dengel 0001, Bertin Klein	Evaluating SEE - A Benchmarking System for Document Page Segmentation.	ICDAR	2003	DBLP DOI BibTeX RDF
29	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Speculative Beats Conservative Justification.	ICLP	2001	DBLP DOI BibTeX RDF
29	Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".	J. ACM	1987	DBLP DOI BibTeX RDF
29	Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla	GTVS: Boosting the Collection of Application Traffic Ground Truth.	TMA	2009	DBLP DOI BibTeX RDF
29	Tiziana D'Orazio, Marco Leo, Nicola Mosca, Paolo Spagnolo, Pier Luigi Mazzeo	A Semi-automatic System for Ground Truth Generation of Soccer Video Sequences.	AVSS	2009	DBLP DOI BibTeX RDF
29	Chao Li, Ying Sun 0001	Nonrigid Registration of Myocardial Perfusion MRI Using Pseudo Ground Truth.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
29	Ningning Zhou, Zhengxu Zhao, Yulong Deng	A New Evaluation Method Based on Measuring of Medium Truth Scale.	ICYCS	2008	DBLP DOI BibTeX RDF