Search results for "justifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
189	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Laconic and Precise Justifications in OWL.	ISWC	2008	DBLP DOI BibTeX RDF
104	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Explaining Inconsistencies in OWL Ontologies.	SUM	2009	DBLP DOI BibTeX RDF
102	Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin	Finding All Justifications of OWL DL Entailments.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	OWL Ontology Explanation, Debugging, Justifications
98	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
78	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
60	Enrico Pontelli, Tran Cao Son	Justifications for Logic Programs Under Answer Set Semantics.	ICLP	2006	DBLP DOI BibTeX RDF
47	Panagiotis Symeonidis, Alexandros Nanopoulos, Yannis Manolopoulos	Providing Justifications in Recommender Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
42	Ian F. Alexander	10 Small Steps to Better Requirements.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	mission, requirements, scenarios, projects, priorities, conflicts, stakeholders, goals, scope, assumptions, justifications, acceptance criteria
41	Christopher Béatrix	Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver).		2016	RDF
41	Vincent Barbier	Utilisation de connaissances sémantiques pour l'analyse de justifications de réponses à des questions. (Using semantic knowledge for analysing the justifications of answers to questions).		2009	RDF
39	Melvin Fitting	Realizations and LP.	LFCS	2007	DBLP DOI BibTeX RDF
39	Miranda Mowbray	Philosophically Based Limitations to Freedom of Speech in Virtual Communities.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	freedom of speech, virtual communities
34	Stefan Hallerstede	Justifications for the Event-B Modelling Notation.	B	2007	DBLP DOI BibTeX RDF
34	Trevor J. M. Bench-Capon	Categorizing Justifications in Legal Argument.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	computational argument, Legal reasoning
29	Lalana Kagal, Chris Hanson, Daniel J. Weitzner	Using Dependency Tracking to Provide Explanations for Policy Management.	POLICY	2008	DBLP DOI BibTeX RDF	policy, explanations, Semantic Web technologies, justifications, truth maintenance systems
29	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
26	Stefania Costantini, Arianna Tocchio, Panagiota Tsintza	Contracts Violation: Justification via Argumentation.	CLIMA	2008	DBLP DOI BibTeX RDF
26	Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, Larry S. Davis	Bilattice-based Logical Reasoning for Human Detection.	CVPR	2007	DBLP DOI BibTeX RDF
26	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	PARMENIDES: Facilitating Deliberation in Democracies.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	argumentation, practical reasoning, deliberative democracy
26	Zhangang Lin, Yue Ma 0009, Zuoquan Lin	A Fault-Tolerant Default Logic.	JELIA	2006	DBLP DOI BibTeX RDF
26	Katie Atkinson, Trevor J. M. Bench-Capon	Legal Case-based Reasoning as Practical Reasoning.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	intermediate legal concepts, legal decision making, teleological reasoning, argumentation, case based reasoning, practical reasoning
26	Petr Vilím	Computing Explanations for the Unary Resource Constraint.	CPAIOR	2005	DBLP DOI BibTeX RDF
26	Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke	Halo I: A Controlled Experiment for Large Scale Knowledge Base Development.	LPNMR	2005	DBLP DOI BibTeX RDF
26	Helmut Horacek	Presenting Proofs in a Human-Oriented Way.	CADE	1999	DBLP DOI BibTeX RDF
21	Ioannis Kontoyiannis	Context-Tree Weighting and Bayesian Context Trees: Asymptotic and Non-Asymptotic Justifications.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
21	Wei Ma, Daoyuan Wu, Yuqiang Sun 0001, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu	Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications.	CoRR	2024	DBLP DOI BibTeX RDF
21	Alain D. Starke, Cataldo Musto, Amon Rapp, Giovanni Semeraro, Christoph Trattner	"Tell Me Why": using natural language justifications in a recipe recommender system to support healthier food choices.	User Model. User Adapt. Interact.	2024	DBLP DOI BibTeX RDF
21	Krisztian Balog, Filip Radlinski, Andrey Petrov	Measuring the Impact of Explanation Bias: A Study of Natural Language Justifications for Recommender Systems.	CoRR	2023	DBLP DOI BibTeX RDF
21	Hari Sarang Nathan	Justifications for Generalizations of Approval Voting.	CoRR	2023	DBLP DOI BibTeX RDF
21	Nanna Kann-Rasmussen	When librarians speak up: justifications for and legitimacy implications of librarians' engagement in social movements.	J. Documentation	2023	DBLP DOI BibTeX RDF
21	Ruben Lapauw, Maurice Bruynooghe, Marc Denecker	Justifications and a Reconstruction of Parity Game Solving Algorithms.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
21	Joeri G. T. Peters, Floris J. Bex, Henry Prakken	Model- and data-agnostic justifications with A Fortiori Case-Based Argumentation.	ICAIL	2023	DBLP DOI BibTeX RDF
21	Krisztian Balog, Filip Radlinski, Andrey Petrov	Measuring the Impact of Explanation Bias: A Study of Natural Language Justifications for Recommender Systems.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
21	Ziniu Li, Tian Xu, Zeyu Qin, Yang Yu 0001, Zhi-Quan Luo	Imitation Learning from Imperfection: Theoretical Justifications and Algorithms.	NeurIPS	2023	DBLP BibTeX RDF
21	Andres Rosero	Using Justifications to Mitigate Loss in Human Trust when Robots Perform Norm - Violating and Deceptive Behaviors.	HRI (Companion)	2023	DBLP DOI BibTeX RDF
21	Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova	Computing ABox Justifications for Query Answers via Datalog Rewriting.	Description Logics	2023	DBLP BibTeX RDF
21	Carita Kiili, Ivar Bråten, Helge I. Strømsø, Michelle Schira Hagerman, Eija Räikkönen, Anne Jyrkiäinen	Adolescents' credibility justifications when evaluating online texts.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
21	Matthias Scheutz, Ravenna Thielstrom, Mitchell Abrams	Transparency through Explanations and Justifications in Human-Robot Task-Based Communications.	Int. J. Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
21	Ioannis Kontoyiannis	Context-tree weighting and Bayesian Context Trees: Asymptotic and non-asymptotic justifications.	CoRR	2022	DBLP DOI BibTeX RDF
21	Pantelis M. Papadopoulos, Nikolaus Obwegeser, Armin Weinberger	Let me explain! The effects of writing and reading short justifications on students' performance, confidence and opinions in audience response systems.	J. Comput. Assist. Learn.	2022	DBLP DOI BibTeX RDF
21	Wenjie Ding, Li Chen	Regulating the use of big data: Justifications, perspectives and the Chinese way forward.	Comput. Law Secur. Rev.	2022	DBLP DOI BibTeX RDF
21	Abdelkhalek Zine, Abdelali Kaaouachi	Learning analytics in Moroccan higher Education: Justifications for use and challenges for successful implementation.	FLAIEC	2022	DBLP BibTeX RDF
21	Yi-Tang Huang, Hong-Ren Lin, Chao-Lin Liu	Toward an Integrated Annotation and Inference Platform for Enhancing Justifications for Algorithmically Generated Legal Recommendations and Decisions.	JURIX	2022	DBLP DOI BibTeX RDF
21	Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger	Towards Formal Concepts for Explanation Timing and Justifications.	RE Workshops	2022	DBLP DOI BibTeX RDF
21	Richard B. Scherl	A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications.	NMR	2022	DBLP BibTeX RDF
21	Jieying Chen, Yue Ma 0009, Rafael Peñaloza, Hui Yang	Union and Intersection of All Justifications.	ESWC	2022	DBLP DOI BibTeX RDF
21	Arthur Boixel, Ulle Endriss, Ronald de Haan	A Calculus for Computing Structured Justifications for Election Outcomes.	AAAI	2022	DBLP DOI BibTeX RDF
21	Hui Yang, Yue Ma 0009, Nicole Bidoit	Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications.	IJCAR	2022	DBLP DOI BibTeX RDF
21	Joeri Peters, Floris Bex, Henry Prakken	Justifications Derived from Inconsistent Case Bases Using Authoritativeness.	ArgXAI@COMMA	2022	DBLP BibTeX RDF
21	Camilla Björn, Pontus Haglund, Katharina Munz, Filip Strömbäck	It's Okay Because I Worked Really Hard! - Student Justifications for Questionable Collaboration while Solving Computer Labs.	FIE	2022	DBLP DOI BibTeX RDF
21	Sergey Volokhin, Marcus D. Collins, Oleg Rokhlenko, Eugene Agichtein	Generating and Validating Contextually Relevant Justifications for Conversational Recommendation.	CHIIR	2022	DBLP DOI BibTeX RDF
21	Arthur Boixel, Ulle Endriss, Oliviero Nardi	Displaying Justifications for Collective Decisions.	IJCAI	2022	DBLP DOI BibTeX RDF
21	Ilias Kazantzidis, Timothy J. Norman, Yali Du 0001, Christopher T. Freeman	How to Train Your Agent: Active Learning from Human Preferences and Justifications in Safety-critical Environments. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
21	Matthew Amengual, Evan P. Apfelbaum	True Motives: Prosocial and Instrumental Justifications for Behavioral Change in Organizations.	Manag. Sci.	2021	DBLP DOI BibTeX RDF
21	Meghdad Ghari	A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox.	CoRR	2021	DBLP BibTeX RDF
21	Ruben Lapauw, Maurice Bruynooghe, Marc Denecker	Justifications and a Reconstruction of Parity Game Solving Algorithms.	CoRR	2021	DBLP BibTeX RDF
21	Jieying Chen, Yue Ma 0009, Rafael Peñaloza, Hui Yang	Union and Intersection of all Justifications.	CoRR	2021	DBLP BibTeX RDF
21	Saketh Kotamraju, Eduardo Blanco 0002	Written Justifications are Key to Aggregate Crowdsourced Forecasts.	CoRR	2021	DBLP BibTeX RDF
21	Shuyang Li, Bodhisattwa Prasad Majumder, Julian J. McAuley	Self-Supervised Bot Play for Conversational Recommendation with Justifications.	CoRR	2021	DBLP BibTeX RDF
21	Muhammad Jabir Khan, Poom Kumam, Wiyada Kumam	Theoretical justifications for the empirically successful VIKOR approach to multi-criteria decision making.	Soft Comput.	2021	DBLP DOI BibTeX RDF
21	Elina K. Hämäläinen, Carita Kiili, Eija Räikkönen, Miika Marttunen	Students' abilities to evaluate the credibility of online texts: The role of internet-specific epistemic justifications.	J. Comput. Assist. Learn.	2021	DBLP DOI BibTeX RDF
21	Cataldo Musto, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro	Generating post hoc review-based natural language justifications for recommender systems.	User Model. User Adapt. Interact.	2021	DBLP DOI BibTeX RDF
21	Cataldo Musto, Alain D. Starke, Christoph Trattner, Amon Rapp, Giovanni Semeraro	Exploring the Effects of Natural Language Justifications in Food Recommender Systems.	UMAP	2021	DBLP DOI BibTeX RDF
21	Arthur Boixel, Ronald de Haan	On the Complexity of Finding Justifications for Collective Decisions.	AAAI	2021	DBLP DOI BibTeX RDF
21	David Harborth, Alisa Frik	Evaluating and Redefining Smartphone Permissions with Contextualized Justifications for Mobile Augmented Reality Apps.	SOUPS @ USENIX Security Symposium	2021	DBLP BibTeX RDF
21	Saketh Kotamraju, Eduardo Blanco 0002	Written Justifications are Key to Aggregate Crowdsourced Forecasts.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
21	Jieying Chen, Rafael Peñaloza, Hui Yang	Union and Intersection of all Justifications (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
21	Thom W. Frühwirth	Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
21	Jonathan Roberge, Marius Senneville, Kevin Morin	How to translate artificial intelligence? Myths and justifications in public discourse.	Big Data Soc.	2020	DBLP DOI BibTeX RDF
21	Rosanna Bellini, Emily Tseng, Nora McDonald, Rachel Greenstadt, Damon McCoy, Thomas Ristenpart, Nicola Dell	"So-called privacy breeds evil": Narrative Justifications for Intimate Partner Surveillance in Online Forums.	Proc. ACM Hum. Comput. Interact.	2020	DBLP DOI BibTeX RDF
21	Simon Marynissen, Bart Bogaerts 0001, Marc Denecker	Exploiting Game Theory for Analysing Justifications.	CoRR	2020	DBLP BibTeX RDF
21	Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001	Justifications for Goal-Directed Constraint Answer Set Programming.	ICLP Technical Communications	2020	DBLP DOI BibTeX RDF
21	Simon Marynissen, Bart Bogaerts 0001, Marc Denecker	Exploiting Game Theory for Analysing Justifications.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
21	Cataldo Musto, Giuseppe Spillo, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro	Exploiting Distributional Semantics Models for Natural Language Context-aware Justifications for Recommender Systems.	IntRS@RecSys	2020	DBLP BibTeX RDF
21	Giuseppe Spillo, Cataldo Musto, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro	Exploiting Distributional Semantics Models for Natural Language Context-aware Justifications for Recommender Systems.	CLiC-it	2020	DBLP BibTeX RDF
21	Kai Spindeldreher, Daniel Schlagwein, Detlef Schoder	How is Information Systems Research Justified? An Analysis of Justifications Given by Authors.	HICSS	2020	DBLP BibTeX RDF
21	Ruben Lapauw, Maurice Bruynooghe, Marc Denecker	Improving Parity Game Solvers with Justifications.	VMCAI	2020	DBLP DOI BibTeX RDF
21	Haris Aziz 0001	Justifications of welfare guarantees under normalized utilities.	SIGecom Exch.	2019	DBLP DOI BibTeX RDF
21	Steffi Haag, Andreas Eckhardt, Andrew Schwarz	The Acceptance of Justifications among Shadow IT Users and Nonusers - An Empirical Analysis.	Inf. Manag.	2019	DBLP DOI BibTeX RDF
21	Haris Aziz 0001	Justifications of Welfare Guarantees under Normalized Utilities.	CoRR	2019	DBLP BibTeX RDF
21	Daniel Kasenberg, Antonio Roque, Ravenna Thielstrom, Meia Chita-Tegmark, Matthias Scheutz	Generating Justifications for Norm-Related Agent Decisions.	CoRR	2019	DBLP BibTeX RDF
21	Hamzeh Mohammadi, Thomas Studer	Bayesian Confirmation and Justifications.	ECSQARU	2019	DBLP DOI BibTeX RDF
21	Nazia Attari, Martin Heckmann, David Schlangen	From Explainability to Explanation: Using a Dialogue Setting to Elicit Annotations with Justifications.	SIGdial	2019	DBLP DOI BibTeX RDF
21	Daniel Kasenberg, Antonio Roque, Ravenna Thielstrom, Meia Chita-Tegmark, Matthias Scheutz	Generating justifications for norm-related agent decisions.	INLG	2019	DBLP BibTeX RDF
21	Cataldo Musto, Gaetano Rossiello, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro	Natural Language Justifications for Recommender Systems Exploiting Text Summarization and Sentiment Analysis.	DDC@AI*IA	2019	DBLP BibTeX RDF
21	Mengyu Gao, Yuxin Ye, Dantong Ouyang, Bin Wang	Finding Justifications by Approximating Core for Large-scale Ontologies.	IJCAI	2019	DBLP DOI BibTeX RDF
21	Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer	Incomplete Information and Justifications.	TbiLLC	2019	DBLP DOI BibTeX RDF
21	Brent J. C. Madison	On justifications and excuses.	Synth.	2018	DBLP DOI BibTeX RDF
21	Gerhard Schurz	Optimality justifications: new foundations for foundation-oriented epistemology.	Synth.	2018	DBLP DOI BibTeX RDF
21	Karissa Leduc, Lauryn Conway, Carlos Gomez-Garibello, Victoria Talwar	The influence of participant role, gender, and age in elementary and high-school children's moral justifications of cyberbullying behaviors.	Comput. Hum. Behav.	2018	DBLP DOI BibTeX RDF
21	Daniel Schlagwein	"Escaping the Rat Race": Justifications in Digital Nomadism.	ECIS	2018	DBLP BibTeX RDF
21	Yevgeny Kazakov, Peter Skocovský	Enumerating Justifications Using Resolution.	IJCAR	2018	DBLP DOI BibTeX RDF
21	Fernanda Pinto Mota, Viviani Rios Kwecko, Fernando Pereira de Toledo, Sam Devincenzi, Silvia Silva da Costa Botelho	Justifications on the behavior in relation to the consumption of electric power at home and at work: a qualitative analysisa.	FIE	2018	DBLP DOI BibTeX RDF
21	Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa	Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.	RuleML+RR	2018	DBLP DOI BibTeX RDF
21	Bart Bogaerts 0001, Antonius Weinzierl	Exploiting Justifications for Lazy Grounding of Answer Set Programs.	IJCAI	2018	DBLP DOI BibTeX RDF
21	Thom W. Frühwirth	Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.	CoRR	2017	DBLP BibTeX RDF
21	Sergei N. Artëmov	Epistemic Modeling with Justifications.	CoRR	2017	DBLP BibTeX RDF
21	Peter Jansen 0001, Rebecca Sharp, Mihai Surdeanu, Peter Clark	Framing QA as Building and Ranking Intersentence Answer Justifications.	Comput. Linguistics	2017	DBLP DOI BibTeX RDF
21	Pedro Cabalar, Jorge Fandinno	Enablers and inhibitors in causal justifications of logic programs.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
21	Geir Kjetil Hanssen, Gosse Wedzinga, Martijn Stuip	An Assessment of Avionics Software Development Practice: Justifications for an Agile Development Process.	XP	2017	DBLP DOI BibTeX RDF