Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Laurent Chupin, Rémy Sart |
Compressible flows: New existence results and justification of the Reynolds asymptotic in thin films. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 76(3-4), pp. 193-231, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Meghdad Ghari |
Cut Elimination and Realization for Epistemic Logics with Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 22(5), pp. 1171-1198, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | QingYin Liang, Bin Wei |
An argumentation model of evidential reasoning with variable degrees of justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2012: The Twenty-Fifth Annual Conference, University of Amsterdam, The Netherlands, 17-19 December 2012, pp. 71-80, 2012, IOS Press, 978-1-61499-166-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Jaime Nava, Olga Kosheleva, Vladik Kreinovich |
Why bernstein polynomials are better: Fuzzy-inspired justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2012, IEEE International Conference on Fuzzy Systems, Brisbane, Australia, June 10-15, 2012, Proceedings., pp. 1-6, 2012, IEEE, 978-1-4673-1507-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Karen Villaverde, Nagwa Albehery, Tonghui Wang, Vladik Kreinovich |
Semi-heuristic poverty measures used by economists: Justification motivated by fuzzy techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2012, IEEE International Conference on Fuzzy Systems, Brisbane, Australia, June 10-15, 2012, Proceedings., pp. 1-7, 2012, IEEE, 978-1-4673-1507-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Kathleen Detar Gennuso |
The Justification of the Use of Information Technology in Patient Safety Initiatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEALTHINF ![In: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1 - 4 February, 2012., pp. 143-146, 2012, SciTePress, 978-989-8425-88-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Mark Przepiora, Reza Karimpour, Günther Ruhe |
A hybrid release planning method and its empirical justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM '12, Lund, Sweden - September 19 - 20, 2012, pp. 115-118, 2012, ACM, 978-1-4503-1056-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Chengpeng Bi, J. Steven Leeder |
Large-scale computation of pediatric growth percentiles with fuzzy logic justification of parameter selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2012, San Diego, CA, USA, May 9-12, 2012, pp. 43-46, 2012, IEEE, 978-1-4673-1190-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Masking in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, AAAI Press, 978-1-57735-560-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Mark Sutherland, Anthony Frisby |
Justification of Medical Cognition: A Virtual Patient Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2012, American Medical Informatics Association Annual Symposium, Chicago, Illinois, USA, November 3-7, 2012, 2012, AMIA. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
16 | Ruey-Maw Chen |
Particle swarm optimization with justification and designed mechanisms for resource-constrained project scheduling problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 38(6), pp. 7102-7111, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Häcker, Guido Schneider, Dominik Zimmermann |
Justification of the Ginzburg-Landau Approximation in Case of Marginally Stable Long Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 21(1), pp. 93-113, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Endre Boros, Yves Crama, Peter L. Hammer, Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino |
Logical analysis of data: classification with justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 188(1), pp. 33-61, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Kent W. Staley, Aaron Cobb |
Internalist and externalist aspects of justification in scientific inquiry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 182(3), pp. 475-492, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Samet Bagce |
Reichenbach on the relative a priori and the context of discovery/justification distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 181(1), pp. 79-93, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jungang Qin, Sasha Kimel, Shinobu Kitayama, Xiaoying Wang, Xuedong Yang, Shihui Han |
How choice modifies preference: Neural correlates of choice justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 55(1), pp. 240-246, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Siwei Lyu |
Dependency Reduction with Divisive Normalization: Justification and Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 23(11), pp. 2942-2973, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Vladik Kreinovich, Gang Xiang, Michael Oberguggenberger |
How to define a confidence set for functions: a new justification of the area method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 40(7), pp. 727-739, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dong Hwan Lee, Jin Bae Park, Young Hoon Joo |
Further Theoretical Justification of the k -Samples Variation Approach for Discrete-Time Takagi-Sugeno Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 19(3), pp. 594-597, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Bryan Renne |
Public communication in justification logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 21(6), pp. 1005-1034, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Ana Dimiskovska Trajanoska |
The Logical Structure of Legal Justification: Dialogue or "Trialogue"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Approaches to Legal Rationality ![In: Approaches to Legal Rationality, pp. 265-280, 2011, Springer, 978-90-481-9587-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Samuel Bucheli, Roman Kuznets, Thomas Studer |
Partial Realization in Dynamic Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings, pp. 35-51, 2011, Springer, 978-3-642-20919-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Antonis Achilleos |
A Complexity Question in Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings, pp. 8-19, 2011, Springer, 978-3-642-20919-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Alexandra Némery, Eric Brangier, Steve Kopp |
First Validation of Persuasive Criteria for Designing and Evaluating the Social Influence of User Interfaces: Justification of a Guideline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Design, User Experience, and Usability. Theory, Methods, Tools and Practice - First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II, pp. 616-624, 2011, Springer, 978-3-642-21707-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Brendan Juba, Adam Tauman Kalai, Sanjeev Khanna, Madhu Sudan 0001 |
Compression without a common prior: an information-theoretic justification for ambiguity in language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Innovations in Computer Science - ICS 2011, Tsinghua University, Beijing, China, January 7-9, 2011. Proceedings, pp. 79-86, 2011, Tsinghua University Press, 978-7-302-24517-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Wolfgang Dvorák |
On the Complexity of Computing the Justification Status of an Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAFA ![In: Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers, pp. 32-49, 2011, Springer, 978-3-642-29183-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Cameron Hughes, Tracey Hughes, Alina Lazar |
Discovering coherence and justification clusters in digital transcripts using epistemic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, USA, pp. 219-223, 2011, ACM, 978-1-4503-0755-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Juliana Parreira, John Meech |
Autonomous Haulage Systems - Justification and Opportunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Autonomous and Intelligent Systems - Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, pp. 63-72, 2011, Springer, 978-3-642-21537-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Remo Goetschi |
Constructive Realization in Justification Logics via Nested Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX (Workshops, Tutorials, and Short Papers) ![In: TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011, pp. 70, 2011, University of Bern. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Hiroyuki Kido 0001, Katsumi Nitta, Masahito Kurihara, Daisuke Katagami |
Formalizing Dialectical Reasoning for Compromise-based Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011, pp. 355-363, 2011, SciTePress, 978-989-8425-40-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Thomas Studer |
An Application of Justification Logic to Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011, pp. 779-783, 2011, IEEE Computer Society, 978-1-4577-2008-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore 0001 |
Theoretical Justification of Popular Link Prediction Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 2722-2727, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Samuel Bucheli, Roman Kuznets, Thomas Studer |
Decidability for Justification Logics Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, pp. 166-181, 2011, Springer, 978-3-642-36975-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Horridge |
Justification based explanation in ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
16 | Bastian von Harrach, Jin Keun Seo, Eung Je Woo |
Factorization Method and Its Physical Justification in Frequency-Difference Electrical Impedance Tomography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 29(11), pp. 1918-1926, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Stephen Hetherington |
Elusive epistemological justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 174(3), pp. 315-330, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sajid Marhon, Stefan C. Kremer |
Theoretical justification of computing the 3-base periodicity using nucleotide distribution variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 101(3), pp. 185-186, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | John L. Pollock |
Defeasible Reasoning and Degrees of Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Argument Comput. ![In: Argument Comput. 1(1), pp. 7-22, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | David Atkinson, Jeanne Peijnenburg |
Justification by Infinite Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 51(4), pp. 407-416, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | David Corfield |
Varieties of Justification in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 20(2), pp. 291-301, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Haoyang Wu |
On the justification of applying quantum strategies to the Prisoners' Dilemma and mechanism design ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.1343, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Melvin Fitting |
Justification logics and hybrid logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 8(4), pp. 356-370, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Abderrahmane Bendali, Abdelkader Makhlouf, Sébastien Tordeux |
Justification of the Cavity Model in the Numerical Simulation of Patch Antennas by the Method of Matched Asymptotic Expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 8(5), pp. 1902-1922, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Blake Ellis Reid |
Substitution Effects: A Problematic Justification for the Third-Party Doctrine of the Fourth Amendment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Telecommun. High Technol. Law ![In: J. Telecommun. High Technol. Law 8(2), pp. 613-630, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Lorenzo Freddi, François Murat, Roberto Paroni |
Saint-Venant's theory for beams with multi-connected cross-section: Justification and error estimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 70(3-4), pp. 177-197, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Chin-Sheng Wan, Wen-Bin Chiou |
Inducing attitude change toward online gaming among adolescent players based on dissonance theory: The role of threats and justification of effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 54(1), pp. 162-168, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Pichon, Thierry Denoeux |
The Unnormalized Dempster's Rule of Combination: A New Justification from the Least Commitment Principle and Some Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 45(1), pp. 61-87, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Oriented Proofs in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I, pp. 354-369, 2010, Springer, 978-3-642-17745-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Nick Letch |
Engagement in e-Government Business Case Justification? : A Case for Constructive Technology Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Sustainable IT Collaboration Around the Globe. 16th Americas Conference on Information Systems, AMCIS 2010, Lima, Peru, August 12-15, 2010, pp. 499, 2010, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Francisco Bavera, Eduardo Bonelli |
Justification Logic and History Based Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, pp. 337-351, 2010, Springer, 978-3-642-14807-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Patricia Leite Brandao, Jose Avelino Victor, Álvaro Rocha 0001 |
The Health Web Sites Importance as Justification for the Development of a Wide Evaluation Methodology of its Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010, pp. 268-272, 2010, IEEE Computer Society, 978-0-7695-4129-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Health Web Sites, Dimensions of Quality, Quality Evaluation |
16 | Kevin T. Kelly, Conor Mayo-Wilson |
Causal Conclusions that Flip Repeatedly and Their Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010, pp. 277-285, 2010, AUAI Press, 978-0-9749039-6-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMS/FORMAT ![In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pp. 185-193, 2010, Springer, 978-3-642-14260-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Kai Brünnler, Remo Goetschi, Roman Kuznets |
A Syntactic Realization Theorem for Justification Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 8, papers from the eighth conference on `Advances in Modal Logic,` held in Moscow, Russia, 24-27 August 2010, pp. 39-58, 2010, College Publications, 978-1-84890-013-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Jacques Bulchand, Omponye Kereteletswe, Antonio Castro, Maipelo Molebatsi, Marcos Maedza |
Justification of ICT Expenditure: Input and Outputs. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITEM ![In: Information Technology and Managing Quality Education - 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers, pp. 195-198, 2010, Springer, 978-3-642-19714-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Siwei Lyu |
Divisive Normalization: Justification and Effectiveness as Efficient Coding Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, Vancouver, British Columbia, Canada., pp. 1522-1530, 2010, Curran Associates, Inc.. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore 0001 |
Theoretical Justification of Popular Link Prediction Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: COLT 2010 - The 23rd Conference on Learning Theory, Haifa, Israel, June 27-29, 2010, pp. 295-307, 2010, Omnipress, 978-0-9822529-2-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Peter Wohl, John A. Waicukauski, T. Finklea |
Increasing PRPG-based compression by delayed justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2011 IEEE International Test Conference, ITC 2010, Austin, TX, USA, November 2-4, 2010, pp. 255-264, 2010, IEEE Computer Society, 978-1-4244-7206-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Masking in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Arnaud Grappy, Brigitte Grau, Olivier Ferret, Cyril Grouin, Véronique Moriceau, Isabelle Robba, Xavier Tannier, Anne Vilnat, Vincent Barbier |
A Corpus for Studying Full Answer Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the International Conference on Language Resources and Evaluation, LREC 2010, 17-23 May 2010, Valletta, Malta, 2010, European Language Resources Association, 2-9517408-6-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Axel Gelfert |
Rigorous results, cross-model justification, and the transfer of empirical warrant: the case of many-body models in physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 169(3), pp. 497-519, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | E. K. Doyle, Chi-Guhn Lee, D. I. Cho |
Justification for the next generation of maintenance modelling techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 60(4), pp. 461-470, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ankit Agrawal 0001, Xiaoqiu Huang 0001 |
Pairwise statistical significance of local sequence alignment using multiple parameter sets and empirical justification of parameter set change penalty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 10(S-3), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | David Atkinson, Jeanne Peijnenburg |
Justification by an Infinity of Conditional Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 50(2), pp. 183-193, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Evgeny Agafonov, Andrzej Bargiela, Edmund K. Burke, Evtim Peytchev |
Mathematical justification of a heuristic for statistical correlation of real-life time series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 198(1), pp. 275-286, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ryo Shiozaki, Tamara Eisenschitz |
Role and justification of web archiving by national libraries: A questionnaire survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Libr. Inf. Sci. ![In: J. Libr. Inf. Sci. 41(2), pp. 90-107, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rajesh Prasad Mishra, G. Anand, Rambabu Kodali |
A multi-attribute decision model for justification of World-Class Maintenance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Technol. Manag. ![In: Int. J. Manuf. Technol. Manag. 18(1), pp. 94-120, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | C. Okan Özogul, E. Ertugrul Karsak, Ethem Tolga |
A real options approach for evaluation and justification of a hospital information system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 82(12), pp. 2091-2102, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hung T. Nguyen 0002, Vladik Kreinovich, J. Esteban Gamez, François Modave, Olga Kosheleva |
Intermediate Degrees Are Needed for the World to Be Cognizable: Towards a New Justification for Fuzzy Logic Ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computational Intelligence (2) ![In: Foundations of Computational Intelligence - Volume 2: Approximate Reasoning, pp. 53-74, 2009, Springer, 978-3-642-01532-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Evangelos Kanoulas, Javed A. Aslam |
Empirical justification of the gain and discount function for nDCG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 611-620, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generalizability theory, evaluation, nDCG |
16 | Gustavo Adrian Bodanza, Marcelo Roberto Auday |
Social Argument Justification: Some Mechanisms and Conditions for Their Coincidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 95-106, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Paul Fodor |
Initial Results on Justification for the Tabled Transaction Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Intelligent Event Processing ![In: Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-05, Stanford, California, USA, March 23-25, 2009, pp. 52-53, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Van-Nam Huynh, Yoshiteru Nakamori, Chenyi Hu, Vladik Kreinovich |
On Decision Making under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan, pp. 214-220, 2009, IEEE Computer Society, 978-0-7695-3607-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chee Fon Chang, Aditya Ghose, Andrew Miller |
Mixed-Initiative Argumentation: A Framework for Justification Management in Clinical Group Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposium: The Uses of Computational Argumentation ![In: The Uses of Computational Argumentation, Papers from the 2009 AAAI Fall Symposium, Arlington, Virginia, USA, November 5-7, 2009, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Min Li 0013, Michael S. Hsiao |
An ant colony optimization technique for abstraction-guided state justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2009 IEEE International Test Conference, ITC 2009, Austin, TX, USA, November 1-6, 2009, pp. 1-10, 2009, IEEE Computer Society, 978-1-4244-4868-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth Einar Himma |
The justification of intellectual property: Contemporary philosophical disputes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 59(7), pp. 1143-1161, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth Hobson |
Foundational beliefs and the structure of justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 164(1), pp. 117-139, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ibrahim Habli, Tim Kelly |
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeCert@ETAPS ![In: Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008, pp. 27-39, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ningxiong Xu, Sally A. McKee, Linda K. Nozick, Ruke Ufomata |
Augmenting priority rule heuristics with justification and rollout to solve the resource-constrained project scheduling problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 35(10), pp. 3284-3297, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Do-Wan Kim, Jin Bae Park, Young Hoon Joo |
Theoretical justification of approximate norm minimization method for intelligent digital redesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 44(3), pp. 851-856, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andrés I. Ávila, Georges Griso, Bernadette Miara, Eduard Rohan |
Multiscale Modeling of Elastic Waves: Theoretical Justification and Numerical Simulation of Band Gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 7(1), pp. 1-21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sergei N. Artëmov |
The Logic of Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 1(4), pp. 477-513, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kiril Tenekedjiev, Natalia D. Nikolova |
Justification and numerical realization of the uniform method for finding point estimates of interval elicited scaling constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Optim. Decis. Mak. ![In: Fuzzy Optim. Decis. Mak. 7(2), pp. 119-145, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jan vom Brocke, Oliver Thomas, Christian Sonnenberg |
Towards an Economic Justification of Service Oriented Architectures - Measuring the Financial Impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Learning from the past & charting the future of the discipline. 14th Americas Conference on Information Systems, AMCIS 2008, Toronto, Ontario, Canada, August 14-17, 2008, pp. 21, 2008, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | François Modave, Martine Ceberio, Vladik Kreinovich |
Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step after Linear Aggregation: A New General Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 741-753, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rubén Fraile, Juan Ignacio Godino-Llorente, Nicolás Sáenz-Lechón, Víctor Osma-Ruiz, Pedro Gómez Vilda |
Use of Cepstrum-Based Parameters for Automatic Pathology Detection on Speech - Analysis of Performance and Theoretical Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSIGNALS (1) ![In: Proceedings of the First International Conference on Biomedical Electronics and Devices, BIOSIGNALS 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Volume 1, pp. 85-91, 2008, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 978-989-8111-18-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Rubén Fraile, Juan Ignacio Godino-Llorente, Nicolás Sáenz-Lechón, Víctor Osma-Ruiz, Pedro Gómez Vilda |
Automatic Detection of Laryngeal Pathology on Sustained Vowels Using Short-Term Cepstral Parameters: Analysis of Performance and Theoretical Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (Selected Papers) ![In: Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers, pp. 228-241, 2008, Springer, 978-3-540-92218-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Arnaud Grappy, Anne-Laure Ligozat, Brigitte Grau |
Evaluation de la réponse d'un système de question-réponse et de sa justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA ![In: COnférence en Recherche d'Infomations et Applications - CORIA 2008, 5th French Information Retrieval Conference, Trégastel, France, March 12-14, 2008. Proceedings, pp. 273-288, 2008, Université de Renne 1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Non-Clausal Local Search for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 535-539, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Roth-Berghofer, Florian Mittag |
Reduxexp: An Open-source Justification-based Explanation Support Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SGAI Conf. ![In: Research and Development in Intelligent Systems XXV, Proceedings of AI-2008, the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 9-11 December, 2008, pp. 321-334, 2008, Springer, 978-1-84882-170-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Véronique Moriceau, Xavier Tannier, Arnaud Grappy, Brigitte Grau |
Justification of Answers by Verification of Dependency Relations - The French AVE Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes for CLEF 2008 Workshop co-located with the 12th European Conference on Digital Libraries (ECDL 2008) , Aarhus, Denmark, September 17-19, 2008., 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Weixin Wu, Michael S. Hsiao |
SAT-based State Justification with Adaptive Mining of Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008, pp. 1-10, 2008, IEEE Computer Society, 978-1-4244-2403-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Frédéric Pichon, Thierry Denoeux |
A New Justification of the Unnormalized Dempster's Rule of Combination from the Least Commitment Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA, pp. 666-671, 2008, AAAI Press, 978-1-57735-365-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Marcello Guarini |
Critical notice: BonJour and Sosa on epistemic justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 159(1), pp. 131-148, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Staffan Angere |
The defeasible nature of coherentist justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 157(3), pp. 321-335, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Adam |
Two Notions of Scientific Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 158(1), pp. 93-108, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Konstantine Arkoudas, Selmer Bringsjord |
Computers, Justification, and Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 17(2), pp. 185-202, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert Newton, Nitin Doonga |
Corporate e-learning: Justification for implementation and evaluation of benefits. A study examining the views of training managers and training providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. ![In: Educ. Inf. 25(2), pp. 111-130, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Hussain Bux Marri, Zahir Irani, Angappa Gunasekaran |
Advance Manufacturing Technology implementation in SMEs: a framework of justification criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Electron. Bus. ![In: Int. J. Electron. Bus. 5(2), pp. 124-140, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ibrahim Aganovic, Josip Tambaca, Zvonimir Tutek |
Derivation and justification of the model of micropolar elastic shells from three-dimensional linearized micropolar elasticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asymptot. Anal. ![In: Asymptot. Anal. 51(3-4), pp. 335-361, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|