Search results for "Justification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Angela Y. N. Yip, Hepu Deng	A Case-Based Reasoning Approach to Business Failure Prediction.	KES	2003	DBLP DOI BibTeX RDF
17	Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao	Efficient Sequential ATPG for Functional RTL Circuits.	ITC	2003	DBLP DOI BibTeX RDF
17	Li Ding 0001, Lina Zhou, Timothy W. Finin	Trust Based Knowledge Outsourcing for Semantic Web Agents.	Web Intelligence	2003	DBLP DOI BibTeX RDF
17	Katherine P. Andriole	Productivity and Cost Assessment of Computed Radiography, Digital Radiography, and Screen-Film for Outpatient Chest Examinations.	J. Digit. Imaging	2002	DBLP DOI BibTeX RDF
17	Éric Villemonte de la Clergerie	Natural Language Tabular Parsing.	ICLP	2001	DBLP DOI BibTeX RDF
17	Nicla Vassallo	Contexts and Philosophical Problems of Knowledge.	CONTEXT	2001	DBLP DOI BibTeX RDF
17	Corin A. Gurr, Konstantinos Tourlas	Towards the principled design of software engineering diagrams.	ICSE	2000	DBLP DOI BibTeX RDF	diagrammatic languages, software diagrams, UML, programmable logic controllers
17	Indradeep Ghosh, Niraj K. Jha, Sujit Dey	A low overhead design for testability and test generation technique for core-based systems-on-a-chip.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
17	Xijiang Lin, Irith Pomeranz, Sudhakar M. Reddy	MIX: A Test Generation System for Synchronous Sequential Circuits.	VLSI Design	1998	DBLP DOI BibTeX RDF	deterministic test generation genetic optimization based test generation restricted multiple observation time approach state based test generation synchronous sequential circuits
17	Guido Bologna, Christian Pellegrini	Accurate Decomposition of Standard MLP Classification Responses into Symbolic Rules.	IWANN	1997	DBLP DOI BibTeX RDF
17	Irith Pomeranz, Sudhakar M. Reddy	On the use of reset to increase the testability of interconnected finite-state machines.	ED&TC	1997	DBLP DOI BibTeX RDF
17	Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen	Invalid State Identification for Sequential Circuit Test Generation.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	invalid states, test generation, sequential circuits
17	Dattatraya Kulkarni, N. Parameswaran	Implementing Persistence of Derived Information in a Reason Maintenance System.	KBCS	1989	DBLP DOI BibTeX RDF
17	James Harris, Galen Rupp	Expert systems in lease accounting (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
16	Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran 0001	Formal Verification of Justification and Finalization in Beacon Chain.	IEEE Access	2024	DBLP DOI BibTeX RDF
16	Anantharaman Muralidharan, Julian Savulescu, G. Owen Schaefer	AI and the need for justification (to the patient).	Ethics Inf. Technol.	2024	DBLP DOI BibTeX RDF
16	Alexis Palmer, Noah A. Smith, Arthur Spirling	Using proprietary language models in academic research requires explicit justification.	Nat. Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Yeni Acosta, Ángel Alsina, Nataly Pincheira	Computational thinking and repetition patterns in early childhood education: Longitudinal analysis of representation and justification.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
16	Fengzhu Zeng, Wei Gao	JustiLM: Few-shot Justification Generation for Explainable Fact-Checking of Real-world Claims.	CoRR	2024	DBLP DOI BibTeX RDF
16	Paul Ardis, Arjuna Flenner	Extracting Explanations, Justification, and Uncertainty from Black-Box Deep Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
16	Matthew B. Luebbers, Bradley Hayes	Explainable Guidance and Justification for Mental Model Alignment in Human-Robot Teams.	HRI (Companion)	2024	DBLP DOI BibTeX RDF
16	Aleksey D. Tebyakin, Leonid A. Kalutsky, Tatyana V. Yakovleva, Anton V. Krysko	Application of Variational Iterations Method for Studying Physically and Geometrically Nonlinear Kirchhoff Nanoplates: A Mathematical Justification.	Axioms	2023	DBLP DOI BibTeX RDF
16	Didier Bresch, Cosmin Burtea, Frédéric Lagoutière	Mathematical justification of a compressible bi-fluid system with different pressure laws: A semi-discrete approach and numerical illustrations.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
16	Han Fu, Hugh Hong-Tao Liu	Justification of the geometric solution of a target defense game with faster defenders and a convex target area using the HJI equation.	Autom.	2023	DBLP DOI BibTeX RDF
16	Mouadh Guesmi, Mohamed Amine Chatti, Shoeb Ahmed Joarder, Qurat Ul Ain, Clara Siepmann, Hoda Ghanbarzadeh, Rawaa Alatrash	Justification vs. Transparency: Why and How Visual Explanations in a Scientific Literature Recommender System.	Inf.	2023	DBLP DOI BibTeX RDF
16	Lina Dencik, Sanne Stevens	Regimes of justification in the datafied workplace: The case of hiring.	New Media Soc.	2023	DBLP DOI BibTeX RDF
16	Mouadh Guesmi, Mohamed Amine Chatti, Shoeb Ahmed Joarder, Qurat Ul Ain, Clara Siepmann, Hoda Ghanbarzadeh, Rawaa Alatrash	Justification vs. Transparency: Why and How Visual Explanations in a Scientific Literature Recommender System.	CoRR	2023	DBLP DOI BibTeX RDF
16	Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer	Impossible and Conflicting Obligations in Justification Logic.	CoRR	2023	DBLP DOI BibTeX RDF
16	Eyup Engin Kucuk, Muhammed Yusuf Kocyigit	Western, Religious or Spiritual: An Evaluation of Moral Justification in Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
16	Litu Rout, Advait Parulekar, Constantine Caramanis, Sanjay Shakkottai	A Theoretical Justification for Image Inpainting using Denoising Diffusion Probabilistic Models.	CoRR	2023	DBLP DOI BibTeX RDF
16	Oleksii V. Kostenko	A numerical method for solving a Complete hypersingular integral equation of the second kind and its Justification.	Math. Model. Anal.	2023	DBLP DOI BibTeX RDF
16	Fatih Sahin	Truth and justification problem in educational administration: opinions of the academics in Turkey.	Int. J. Knowl. Learn.	2023	DBLP DOI BibTeX RDF
16	Benjamin Post, Cosmin Badea, Aldo Faisal, Stephen J. Brett	Breaking bad news in the era of artificial intelligence and algorithmic medicine: an exploration of disclosure and its ethical justification using the hedonic calculus.	AI Ethics	2023	DBLP DOI BibTeX RDF
16	Giovanni Abramo, Isidro F. Aguillo, Dag W. Aksnes, Kevin W. Boyack, Quentin L. Burrell, Juan Miguel Campanario, Zaida Chinchilla-Rodríguez, Rodrigo Costas 0001, Ciriaco Andrea D'Angelo, Anne-Wil Harzing, Hamid R. Jamali 0001, Vincent Larivière, Loet Leydesdorff, Marc Luwel, Ben Martin, Philipp Mayr 0001, Katherine W. McCain, Isabella Peters, Ismael Ràfols, Nicolás Robinson-García, Torben Schubert, Henry Small, Cassidy R. Sugimoto, Mike Thelwall, Peter van den Besselaar, Thed N. van Leeuwen, Ludo Waltman	Retraction of Predatory publishing in Scopus: evidence on cross-country differences lacks justification.	Scientometrics	2023	DBLP DOI BibTeX RDF
16	Ikaasa Suri, Mehr Suri, James Hu, Siddarth Ketan Dedhia, Kurt Yaeger	Case Volume Justification of 3D-Navigated Spinal Procedures: A Cost-Benefit Analysis.	J. Medical Syst.	2023	DBLP DOI BibTeX RDF
16	Amgad Ali Badewi, Riyad Eid, Ben Laker	Determinations of system justification versus psychological reactance consumer behaviours in online taboo markets.	Inf. Technol. People	2023	DBLP DOI BibTeX RDF
16	Randi Jiang, Jianru Zhang	The impact of work pressure and work completion justification on intentional nonmalicious information security policy violation intention.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
16	José Carlos R. Alcantud	Complemental Fuzzy Sets: A Semantic Justification of $q$-Rung Orthopair Fuzzy Sets.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
16	Shawn Standefer	Weak relevant justification logics.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
16	Noemi Mauro, Zhongli Filippo Hu, Liliana Ardissono	Justification of recommender systems results: a service-based approach.	User Model. User Adapt. Interact.	2023	DBLP DOI BibTeX RDF
16	Shiyang Yu, Xi Chen	How to justify a backing's eligibility for a warrant: the justification of a legal interpretation in a hard case.	Artif. Intell. Law	2023	DBLP DOI BibTeX RDF
16	Nanda Wijermans, Geeske Scholz, Émile J. L. Chappin, Alison J. Heppenstall, Tatiana Filatova, J. Gareth Polhill, Christina Semeniuk, Frithjof Stöppler	Agent decision-making: The Elephant in the Room - Enabling the justification of decision model fit in social-ecological models.	Environ. Model. Softw.	2023	DBLP DOI BibTeX RDF
16	Nicholas Pischke	On intermediate justification logics.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
16	Meghdad Ghari	Linear temporal justification logics with past and future time modalities.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
16	Martine Ceberio, Olga Kosheleva, Vladik Kreinovich	How to Describe Relative Approximation Error? A New Justification for Gustafson's Logarithmic Expression.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
16	Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer	Conditional Obligations in Justification Logic.	WoLLIC	2023	DBLP DOI BibTeX RDF
16	Somayeh Fatahi, Seyedeh Mina Mousavifar, Julita Vassileva	Investigating the effectiveness of persuasive justification messages in fair music recommender systems for users with different personality traits.	UMAP	2023	DBLP DOI BibTeX RDF
16	Zhongli Filippo Hu, Noemi Mauro, Giovanna Petrone, Liliana Ardissono	Service-based Presentation of Multimodal Information for the Justification of Recommender Systems Results.	UMAP	2023	DBLP DOI BibTeX RDF
16	Sophie Elise Kahnt, Jori Milbradt, Carsten Sommer	"G" Classes for Vehicles Classification According to Size and the Justification of "Fine Mobility".	HCI (38)	2023	DBLP DOI BibTeX RDF
16	Daphne Odekerken, Floris Bex, Henry Prakken	Justification, stability and relevance for case-based reasoning with incomplete focus cases.	ICAIL	2023	DBLP DOI BibTeX RDF
16	Yukitoshi Kashimoto, Cao Lian, Yudai Yamazaki, Daisuke Kamisaka	First Study to Enhance Self-Determination Theory by Utilizing Social Justification.	PERSUASIVE (Adjunct)	2023	DBLP BibTeX RDF
16	Matthew B. Luebbers, Aaquib Tabrez, Kyler Ruvane, Bradley Hayes	Autonomous Justification for Enabling Explainable Decision Support in Human-Robot Teaming.	Robotics: Science and Systems	2023	DBLP DOI BibTeX RDF
16	Dennis Maecker, Henning Gösling, Christoph Heinbach, Friedemann Kammler	Exploring Multi-Agent Systems for Intermodal Freight Fleets: Literature-based Justification of a New Concept.	Wirtschaftsinformatik	2023	DBLP BibTeX RDF
16	Sergey Volokhin	Exploring User and Item Representation, Justification Generation, and Data Augmentation for Conversational Recommender Systems.	SIGIR	2023	DBLP DOI BibTeX RDF
16	Christian Cachin, David Lehnherr, Thomas Studer	Modal and Justification Logics for Multi-agent Systems (Invited Talk).	CLAR	2023	DBLP DOI BibTeX RDF
16	Federico L. G. Faroldi, Tudor Protopopescu	All-Things-Considered Ought via Reasons in Justification Logic.	DEON	2023	DBLP BibTeX RDF
16	Sarath Sreedharan, Christian Muise, Subbarao Kambhampati	Generalizing Action Justification and Causal Links to Policies.	ICAPS	2023	DBLP DOI BibTeX RDF
16	Kateryna Kolesnikova, Nursultan Alpysbay, Tetiana Olekh, Tolganay Chinibayeva	Justification of the Project Initiation Process Using the Markov Model.	IDAACS	2023	DBLP DOI BibTeX RDF
16	Paolo Piovano, Igor Velcic	Microscopical Justification of Solid-State Wetting and Dewetting.	J. Nonlinear Sci.	2022	DBLP DOI BibTeX RDF
16	Dalia Yousri, Mohammed Mudhsh, Yomna O. Shaker, Laith Mohammad Abualigah, Elsayed Tag-Eldin, Mohamed Abd Elaziz 0001, Dalia Allam	Modified Interactive Algorithm Based on Runge Kutta Optimizer for Photovoltaic Modeling: Justification Under Partial Shading and Varied Temperature Conditions.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Hassan Salmani	Gradual-N-Justification (GNJ) to Reduce False-Positive Hardware Trojan Detection in Gate-Level Netlist.	IEEE Trans. Very Large Scale Integr. Syst.	2022	DBLP DOI BibTeX RDF
16	Stipe Pandzic	A logic of defeasible argumentation: Constructing arguments in justification logic.	Argument Comput.	2022	DBLP DOI BibTeX RDF
16	Galina A. Kurina, Margarita Kalashnikova	Justification of Direct Scheme for Asymptotic Solving Three-Tempo Linear-Quadratic Control Problems under Weak Nonlinear Perturbations.	Axioms	2022	DBLP DOI BibTeX RDF
16	Jian-Guo Liu, Ziheng Wang, Yuan Zhang, Zhennan Zhou	Rigorous Justification of the Fokker-Planck Equations of Neural Networks Based on an Iteration Perspective.	SIAM J. Math. Anal.	2022	DBLP DOI BibTeX RDF
16	Sven Storms	The Buridan-Volpin Derivation System; Properties and Justification.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
16	Tiffany Brown, Brittany Zelch, Ji Young Lee, Jason N. Doctor, Jeffrey A. Linder, Mark D. Sullivan, Noah J. Goldstein, Theresa A. Rowe, Daniella Meeker, Tara K. Knight, Mark W. Friedberg, Stephen D. Persell	A Qualitative Description of Clinician Free-Text Rationales Entered within Accountable Justification Interventions.	Appl. Clin. Inform.	2022	DBLP DOI BibTeX RDF
16	Benjamin Post, Cosmin Badea, Aldo Faisal, Stephen J. Brett	Breaking Bad News in the Era of Artificial Intelligence and Algorithmic Medicine: An Exploration of Disclosure and its Ethical Justification using the Hedonic Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
16	Albert Xu, Jhih-Yi Hsieh, Bhaskar Vundurthy, Eliana Cohen, Howie Choset, Lu Li	Mathematical Justification of Hard Negative Mining via Isometric Approximation Theorem.	CoRR	2022	DBLP DOI BibTeX RDF
16	Noemi Mauro, Zhongli Filippo Hu, Liliana Ardissono	Justification of Recommender Systems Results: A Service-based Approach.	CoRR	2022	DBLP DOI BibTeX RDF
16	Simon Marynissen, Bart Bogaerts 0001	Tree-Like Justification Systems are Consistent.	ICLP Technical Communications / Doctoral Consortium	2022	DBLP DOI BibTeX RDF
16	Hilde J. P. Weerts, Lambèr Royakkers, Mykola Pechenizkiy	Does the End Justify the Means? On the Moral Justification of Fairness-Aware Machine Learning.	CoRR	2022	DBLP BibTeX RDF
16	Simon Marynissen, Jesse Heyninck, Bart Bogaerts 0001, Marc Denecker	On Nested Justification Systems (full version).	CoRR	2022	DBLP DOI BibTeX RDF
16	Naveen Durvasula	Extending Universal Approximation Guarantees: A Theoretical Justification for the Continuity of Real-World Learning Tasks.	CoRR	2022	DBLP DOI BibTeX RDF
16	Torbjörn Larsson, Nils-Hassan Quttineh	A theoretical justification of the set covering greedy heuristic of Caprara et al.	Discret. Optim.	2022	DBLP DOI BibTeX RDF
16	Durga Prasad Challa, Mourad Sini	Corrigendum: On the justification of the Foldy-Lax Approximation for the Acoustic Scattering by Small Rigid Bodies of Arbitrary Shapes.	Multiscale Model. Simul.	2022	DBLP DOI BibTeX RDF
16	Martín Tironi, Matías Valderrama	Worth-making in a datafied world: Urban cycling, smart urbanism, and technologies of justification in Santiago de Chile.	Inf. Soc.	2022	DBLP DOI BibTeX RDF
16	Tao Li 0040, Jinwen Ma	On theoretical justification of the forward-backward algorithm for the variational learning of Bayesian hidden Markov models.	IET Signal Process.	2022	DBLP DOI BibTeX RDF
16	Neil J. DeBoer	Justification logic and type theory as formalizations of intuitionistic propositional logic.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
16	V. Alexis Peluce	Classical reasoning in the justification paradigm.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
16	Simon Marynissen, Jesse Heyninck, Bart Bogaerts 0001, Marc Denecker	On Nested Justification Systems.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
16	Carmen Calvo-Jurado, Juan Casado-Díaz, Manuel Luna-Laynez	A justification of the Darcy law for a suspension of not self-similar solid particles non-periodically distributed.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
16	Nicholas Pischke	Gödel justification logics and realization.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
16	Zhongli Filippo Hu	Service-aware Recommendation and Justification of Results.	UMAP	2022	DBLP DOI BibTeX RDF
16	Salma Sharifi Khajedehi, Morteza Namvar, Javad K. Pool, Saeed Akhlaghpour	On Justification: Legislating a Digital First Artifact.	ICIS	2022	DBLP BibTeX RDF
16	Wijnand van Woerkom, Davide Grossi, Henry Prakken, Bart Verheij	Justification in Case-Based Reasoning.	ArgXAI@COMMA	2022	DBLP BibTeX RDF
16	Luit Verschuur	Design and Justification of a Cybersecurity Assessment Framework for IoT-Based Environments.	CRITIS	2022	DBLP DOI BibTeX RDF
16	Sanjar M. Mirzaliev, Sarvar Yusupov, Temur Turgunboev, Abdurauf Kholikov, Jamshid Inoyatkhodjaev	Justification of the Synergy of Innovative Intelligent transport Systems in Local conditions.	ICFNDS	2022	DBLP DOI BibTeX RDF
16	Neil J. DeBoer	Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic.	LFCS	2022	DBLP DOI BibTeX RDF
16	Lijie Guo, Christopher Flathmann, Reza Ghaiumy Anaraky, Nathan J. McNeese, Bart P. Knijnenburg	The Effect of Recommendation Source and Justification on Professional Development Recommendations for High School Teachers.	HT	2022	DBLP DOI BibTeX RDF
16	Steve Wang, Thomas Meyer 0002, Deshendran Moodley	Defeasible Justification Using the KLM Framework.	SACAIR	2022	DBLP DOI BibTeX RDF
16	Berivan Isik, Tsachy Weissman, Albert No	An Information-Theoretic Justification for Model Pruning.	AISTATS	2022	DBLP BibTeX RDF
16	Oliviero Nardi, Arthur Boixel, Ulle Endriss	A Graph-Based Algorithm for the Automated Justification of Collective Decisions. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
16	Eilidh Harrison	Seemings, truth-makers, and epistemic justification.	Synth.	2021	DBLP DOI BibTeX RDF
16	Rodrigo Borges	Introduction to the special issue 'knowledge and justification: new perspectives'.	Synth.	2021	DBLP DOI BibTeX RDF
16	Catherine Herfeld, Milena Ivanova	Introduction: first principles in science - their status and justification.	Synth.	2021	DBLP DOI BibTeX RDF
16	Jonathan Egeland	Against overconfidence: arguing for the accessibility of memorial justification.	Synth.	2021	DBLP DOI BibTeX RDF
16	Juan Comesaña	Empirical justification and defeasibility.	Synth.	2021	DBLP DOI BibTeX RDF
16	John Turri	Truth, fallibility, and justification: new studies in the norms of assertion.	Synth.	2021	DBLP DOI BibTeX RDF
16	Josefa Toribio	Accessibility, implicit bias, and epistemic justification.	Synth.	2021	DBLP DOI BibTeX RDF
16	Yuval Avnur	Justification as a loaded notion.	Synth.	2021	DBLP DOI BibTeX RDF