Search results for "Justification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Xinghao Chen 0003, Michael L. Bushnell	Sequential circuit test generation using dynamic justification equivalence.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	search decision spaces, test generation efficiency, automatic test pattern generation, stuck-at faults, justification
89	Sergei N. Artëmov, Elena Nogina	Topological Semantics of Justification Logic.	CSR	2008	DBLP DOI BibTeX RDF	Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic
76	Samuel R. Buss, Roman Kuznets	The NP-Completeness of Reflected Fragments of Justification Logics.	LFCS	2009	DBLP DOI BibTeX RDF
76	Melvin Fitting	Justification logics, logics of knowledge, and conservativity.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70
67	Sergei N. Artëmov, Elena Nogina	On epistemic logic with justification.	TARK	2005	DBLP BibTeX RDF
67	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Speculative Beats Conservative Justification.	ICLP	2001	DBLP DOI BibTeX RDF
63	Clément Duffau	Justification Factory: de l'élicitation d'exigences de justification jusqu'à leur production en continu. (Justification Factory: from justification requirements elicitation to their continuous production).		2018	RDF
59	Giovanni Guida, Marina Zanella	Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification.	ICECCS	1997	DBLP DOI BibTeX RDF
50	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	FLOPS	2004	DBLP DOI BibTeX RDF
50	Paul Tafertshofer, Andreas Ganz	SAT based ATPG using fast justification and propagation in the implication graph.	ICCAD	1999	DBLP DOI BibTeX RDF
47	Tatiana Yavorskaya	Interacting Explicit Evidence Systems.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Justification logic, Explicit evidence, Logic of proofs, Epistemic logic, Multi-modal logic
47	Peter J. Graham	The theoretical diagnosis of skepticism.	Synth.	2007	DBLP DOI BibTeX RDF	Skepticism, Epistemic Justification, Reliabilism, Michael Williams, Contextualism
47	Jaap Hage	Law and Defeasibility.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	defeasibility, legal justification, non-monotonic logic
46	Jeanne Peijnenburg, David Atkinson	Probabilistic Justification and the Regress Problem.	Stud Logica	2008	DBLP DOI BibTeX RDF	Probabilistic justification, regress problem, foundationalism, infinitism
46	Yiorgos Makris, Alex Orailoglu	RTL Test Justification and Propagation Analysis for Modular Designs.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	RTL testability analysis, test justification, test propagation, DFT, modular design
42	Hidenori Kurokawa	Tableaux and Hypersequents for Justification Logic.	LFCS	2009	DBLP DOI BibTeX RDF
42	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Justification and debugging of answer set programs in ASP.	AADEBUG	2005	DBLP DOI BibTeX RDF	small answer set programming, logic programming, justifications
42	Paul Tafertshofer, Andreas Ganz, Kurt Antreich	IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
39	Robert Audi	The ethics of belief: doxastic self-control and intellectual virtue.	Synth.	2008	DBLP DOI BibTeX RDF	Doxastic voluntarism, Intellectual virtue, Self-control, Testimony, Reasons, Knowledge, Evidence, Belief, Grounds, Justification
39	Srimat T. Chakradhar, Vijay Gangaram, Steven G. Rothweiler	Deriving Signal Constraints to Accelerate Sequential Test Generation.	VLSI Design	1997	DBLP DOI BibTeX RDF	sequential test generation algorithm acceleration, signal constraints, large sequential circuits, deterministic sequential test generation, signal constraint computation technique, line probabilities, line justification techniques, benchmark sequential circuits, test generation time reduction, production sequential circuits, 3-valued signal probabilities, fault diagnosis, fault coverage, symbolic simulation, truth table
37	Sarah Diefenbach, Marc Hassenzahl	Give me a reason: hedonic product choice and justification.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	hedonic quality, product choice, user experience, ux, justification
34	Roman Kuznets	Self-referentiality of Justified Knowledge.	CSR	2008	DBLP DOI BibTeX RDF
34	Enrico Pontelli, Tran Cao Son	Justifications for Logic Programs Under Answer Set Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
34	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
34	Jaehong Park, M. Ray Mercer	Using Functional Information and Strategy Switching in Sequential ATPG.	ICCD	1996	DBLP DOI BibTeX RDF
33	Ruey Long Cheu, Hung T. Nguyen 0002, Tanja Magoc, Vladik Kreinovich	Logit discrete choice model: a new distribution-free justification.	Soft Comput.	2009	DBLP DOI BibTeX RDF
33	Bryan Renne	Evidence elimination in multi-agent justification logic.	TARK	2009	DBLP DOI BibTeX RDF
33	Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä	Justification-Based Local Search with Adaptive Noise Strategies.	LPAR	2008	DBLP DOI BibTeX RDF
33	Claudia Bianchi, Nicla Vassallo	Meaning, Contexts and Justification.	CONTEXT	2007	DBLP DOI BibTeX RDF
33	Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas	Justification of Smart Sensors for Nuclear Applications.	SAFECOMP	2005	DBLP DOI BibTeX RDF
33	Zahir Irani	The Difficulties of IT/IS Investment Justification: An Interpretivist Empirical Case Study.	HICSS	1999	DBLP DOI BibTeX RDF	Investment decision making, MRPII benefits, MRPII Costs, Taxonomies
32	Quynh Anh Do Hoang	Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l'humain. (Analysis and justification of the safety of robotic systems by physical interaction with humans).		2015	RDF
32	Henry L. Owen	Synchronous digital hierarchy byte pointer justification versus VC-12 payload bit justification effects.	Eur. Trans. Telecommun.	1995	DBLP DOI BibTeX RDF
30	Richard Feldman	Modest deontologism in epistemology.	Synth.	2008	DBLP DOI BibTeX RDF	Epistemic deontologism, Belief control, Epistemic evaluation, Justification
30	Colleen Pettit Jones, Susan J. Robinson, Nick Sabadosh, David Bishop, Sanjay Koyani	How can rhetoric and argumentation help us make the case for UCD?	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	context, argumentation, ethics, strategy, ROI, persuasion, return on investment, rhetoric, justification
30	Toshinori Hosokawa, Toshihiro Hiraoka, Mitsuyasu Ohta, Michiaki Muraoka, Shigeo Kuninobu	A Partial Scan Design Method Based on n-Fold Line-up Structures.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	n-fold line-up structure, dynamic test sequence compaction, flip-flop of load/hold type, fault efficiency, state justification, partial scan
30	Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs	Identification of unsettable flip-flops for partial scan and faster ATPG.	ICCAD	1996	DBLP DOI BibTeX RDF	ISCAS89 circuits, deterministic test generation, difficult-to-set hip-hops, hip-hops, state elements, state justification, transformed circuits, unsettable flip-flops identification, logic testing, ATPG, partial scan, sequential circuits test generation
30	Watts S. Humphrey	CASE planning and the software process.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	process maturity model, economic justification, software teams, management, planning, software, process, case, improvement
26	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the Meta-logic of Arguments.	ArgMAS	2005	DBLP DOI BibTeX RDF
26	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	2005	DBLP DOI BibTeX RDF	meta-level reasoning, multi-agent systems, knowledge representation, argumentation
26	Victor Shoup	OAEP Reconsidered.	J. Cryptol.	2002	DBLP DOI BibTeX RDF
26	Ganapathy Parthasarathy, Madhu K. Iyer, Tao Feng 0012, Li-C. Wang, Kwang-Ting Cheng, Magdy S. Abadir	Combining ATPG and Symbolic Simulation for Efficient Validation of Embedded Array Systems.	ITC	2002	DBLP DOI BibTeX RDF
26	Victor Shoup	OAEP Reconsidered.	CRYPTO	2001	DBLP DOI BibTeX RDF
26	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Dynamic state traversal for sequential circuit test generation.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	finite-state-machine traversal, simulation-based, genetic algorithms, testing, sequential circuits, automatic test pattern generation (ATPG)
26	Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen	Identifying invalid states for sequential circuit test generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
26	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Sequential circuit test generation using dynamic state traversal.	ED&TC	1997	DBLP DOI BibTeX RDF
26	Thomas R. Gruber	Learning Why by Being Told What: Interactive Acquisition of Justifications.	IEEE Expert	1991	DBLP DOI BibTeX RDF
26	Abhijit Ghosh, Srinivas Devadas, A. Richard Newton	Sequential Test Generation at the Register-Transfer and Logic Levels.	DAC	1990	DBLP DOI BibTeX RDF
24	Ludwig Fuchs, Christian Broser, Günther Pernul	Different Approaches to In-House Identity Management - Justification of an Assumption.	ARES	2009	DBLP DOI BibTeX RDF
24	Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens	Clear justification of modeling decisions for goal-oriented requirements engineering.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Clarification, Argumentation, Goal modeling, Goal-oriented requirements engineering
24	Sergei N. Artëmov	Justification Logic.	JELIA	2008	DBLP DOI BibTeX RDF
24	Stefania Costantini, Arianna Tocchio, Panagiota Tsintza	Contracts Violation: Justification via Argumentation.	CLIMA	2008	DBLP DOI BibTeX RDF
24	James A. Marcum	Experimental Series and the Justification of Temin's DNA Provirus Hypothesis.	Synth.	2007	DBLP DOI BibTeX RDF
24	Francesco Gagliardi 0001	Epistemological Justification of Test Driven Development in Agile Processes.	XP	2007	DBLP DOI BibTeX RDF	Falsificationism, Modus Tollens, Software Testing, TDD, Epistemology, Agile Programming
24	Ningxiong Xu, Linda K. Nozick, Orr Bernstein, Dean A. Jones	Stochastic rollout and justification to solve the resource-constrained project scheduling problem.	WSC	2007	DBLP DOI BibTeX RDF
24	José Daniel García, Jesús Carretero 0001, Félix García 0002, Javier Fernández 0001, Alejandro Calderón 0001, David E. Singh	A Quantitative Justification to Partial Replication of Web Contents.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
24	Tuan-Fang Fan, Duen-Ren Liu, Churn-Jung Liau	Justification and Hypothesis Selection in Data Mining.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
24	Jürgen Schmidhuber	Gödel Machines: Towards a Technical Justification of Consciousness.	Adaptive Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF
24	Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar	Information theoretic justification of Boltzmann selection and its generalization to Tsallis case.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
24	Pedro A. Diaz-Gomez, Dean F. Hougen	Analysis and mathematical justification of a fitness function used in an intrusion detection system.	GECCO	2005	DBLP DOI BibTeX RDF	genetic algorithms, intrusion detection systems, fitness function
24	Gyutai Kim, Yun Bae Kim	A Simulation-Based Investment Justification for an Advanced Manufacturing Technology with Real Options.	AsiaSim	2004	DBLP DOI BibTeX RDF
24	Santiago Ontañón, Enric Plaza	Justification-Based Selection of Training Examples for Case Base Reduction.	ECML	2004	DBLP DOI BibTeX RDF	Case Base Management, Case Base Reduction, CBR
24	Santiago Ontañón, Enric Plaza	Justification-Based Case Retention.	ECCBR	2004	DBLP DOI BibTeX RDF
24	Gary Livingston, John M. Rosenberg, Bruce G. Buchanan	An Agenda- and Justification-Based Framework for Discovery Systems.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Autonomous data mining, Architecture, Heuristics, Discovery
24	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
24	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Justification Based on Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
24	Djoerd Hiemstra	A probabilistic justification for using tf x idf term weighting in information retrieval.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Information retrieval theory, Statistical information retrieval, Statistical natural language processing
24	Mark Levene, Millist W. Vincent	Justification for Inclusion Dependency Normal Form.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Relational database design, functional dependency, normal forms, inclusion dependency
24	Zonglin Zhou, Stan Z. Li, Kap Luk Chan	A Theoretical Justification of Nearest Feature Line Method.	ICPR	2000	DBLP DOI BibTeX RDF
24	Shuxiang Xu, Ming Zhang	Justification of a Neuron-Adaptive Activation Function.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
24	Yiorgos Makris, Alex Orailoglu	DFT guidance through RTL test justification and propagation analysis.	ITC	1998	DBLP DOI BibTeX RDF
22	Or Biran, Owen Rambow	Identifying Justifications in Written Dialogs.	ICSC	2011	DBLP DOI BibTeX RDF	written dialog, rst, blogs, argumentation, discourse, justification
22	Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg	A decision support system for secure information sharing.	SACMAT	2009	DBLP DOI BibTeX RDF	flexible information sharing, justification for non-shareability, semantic reasoner, description logic
22	Abedelaziz Mohaisen, Ik Rae Jeong, Dowon Hong, Nam-Su Jho, DaeHun Nyang	Data Randomization for Lightweight Secure Data Aggregation in Sensor Network.	UIC	2008	DBLP DOI BibTeX RDF	data randomization, experimental justification, security, sensor network, data aggregation, computation efficiency
22	Quoc Bao Vo, Norman Y. Foo, Joe Thurbon	Semantics for a theory of defeasible reasoning.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning
22	Susan M. Dray, Clare-Marie Karat, Daniel Rosenberg, David A. Siegel, Dennis R. Wixon	Is ROI an effective approach for persuading decision-makers of the value of user-centered design?	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	cost-justification, ROI, return on investment, UCD
22	Susan A. Sherer, Manash R. Ray, Naser M. Chowdhury	Assessing Information Technology Investments with an Integrative Process Framework.	HICSS	2002	DBLP DOI BibTeX RDF	IT justification, responsibility gap, IT benefits, IT investment
22	Ravi S. Sharma 0001, David W. Conrath	Evaluating expert systems: a review of applicable approaches.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	impact and justification of AI systems, performance measurement, knowledge engineering
22	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
22	Gerald M. Berns	Description of FORMAT, a text-processing program.	Commun. ACM	1969	DBLP DOI BibTeX RDF	frequency dictionary, right justification, indexing, documentation, printing, text processing, formatting, vocabulary, text editing
17	Sergei N. Artëmov, Roman Kuznets	Logical omniscience as a computational complexity problem.	TARK	2009	DBLP DOI BibTeX RDF
17	Sathish Ramani, Dimitri Van De Ville, Thierry Blu, Michael Unser	Nonideal Sampling and Regularization Theory.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
17	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Laconic and Precise Justifications in OWL.	ISWC	2008	DBLP DOI BibTeX RDF
17	Melvin Fitting	S4LPand Local Realizability.	CSR	2008	DBLP DOI BibTeX RDF
17	Loganathan Lingappan, Niraj K. Jha	Satisfiability-Based Automatic Test Program Generation and Design for Testability for Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
17	Katie Atkinson, Trevor J. M. Bench-Capon	Argumentation and standards of proof.	ICAIL	2007	DBLP DOI BibTeX RDF	standards of proof, argumentation, legal reasoning, purposes
17	Ivan Jureta, Stéphane Faulkner	Tracing the Rationale Behind UML Model Change Through Argumentation.	ER	2007	DBLP DOI BibTeX RDF
17	Carsten Sinz	Compressing Propositional Proofs by Common Subproof Extraction.	EUROCAST	2007	DBLP DOI BibTeX RDF
17	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	SNC	2007	DBLP DOI BibTeX RDF	multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
17	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	Computational Representation of Practical Argument.	Synth.	2006	DBLP DOI BibTeX RDF
17	Loganathan Lingappan, Srivaths Ravi 0001, Niraj K. Jha	Satisfiability-based test generation for nonseparable RTL controller-datapath circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
17	Yu Sun 0005, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
17	Tatiana Yavorskaya	Multi-agent Explicit Knowledge.	CSR	2006	DBLP DOI BibTeX RDF
17	Eugene Goldberg	Determinization of Resolution by an Algorithm Operating on Complete Assignments.	SAT	2006	DBLP DOI BibTeX RDF
17	Zhangang Lin, Yue Ma 0009, Zuoquan Lin	A Fault-Tolerant Default Logic.	JELIA	2006	DBLP DOI BibTeX RDF
17	Hui Chao	Text block geometric shape analysis.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	document geometric layout analysis, template creation, page segmentation
17	Kedar S. Namjoshi	An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Low-Level Ideal Signatures and General Integrity Idealization.	ISC	2004	DBLP DOI BibTeX RDF
17	Arend Soeteman	Legal logic? Or can we do without?	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
17	Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng	SATORI - A Fast Sequential SAT Engine for Circuits.	ICCAD	2003	DBLP DOI BibTeX RDF