Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
1	The IFCoLog Class File for FLAP: A Brief Guide Jane Spurr International Federation of Computational Logic, London, United Kingdom, Charity Number: Michael Gabbay∗ Add to Reading List Source URL: homepages.ruhr-uni-bochum.de Language: English - Date: 2017-01-10 17:32:32
2	Artificial Intelligence, Computational Logic ABSTRACT ARGUMENTATION Generalizations of Argumentation Frameworks ∗ slides adapted from Stefan Woltran’s lecture on Abstract Argumentation Sarah Gaggl Add to Reading List Source URL: iccl.inf.tu-dresden.de Language: English - Date: 2017-09-29 08:26:27
3	FoPSS School 2018: Logic and Learning Introductory courses Sunday 1nd July James Worrell 9:00–10:30 Computational learning theory I Add to Reading List Source URL: fopss18.mimuw.edu.pl Language: English - Date: 2018-05-31 08:11:25
4	Decomposing Abstract Dialectical Frameworks Sarah Alice GAGGL Technische Universit¨at Dresden, Computational Logic Group, Germany Hannes STRASS Computer Science Institute, Leipzig University, Germany Add to Reading List Source URL: comma2014.arg.dundee.ac.uk Language: English - Date: 2014-08-27 11:30:50
5	Computational Law The Cop in the Backseat Michael Genesereth CodeX: The Center for Legal Informatics Stanford University Abstract: Computational Law is that branch of legal informatics concerned with the mechanization Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2017-03-06 14:45:06
6	SHARP AND APPROXIMATE QUANTUM COMPUTATIONAL LOGICS MARIA LUISA DALLA CHIARA AND ROBERTO GIUNTINI Quantum computational logics (QCLs) are new forms of quantum logic, that represent a natural logical abstraction from the t Add to Reading List Source URL: www.iub.edu - Date: 2009-04-04 22:10:26
7	COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor Add to Reading List Source URL: www.iub.edu - Date: 2009-04-04 22:10:32
8	A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017 Add to Reading List Source URL: cl-informatik.uibk.ac.at - Date: 2017-09-12 04:41:19
9	Argumentation frameworks for explanation-based reasoning Francesca Toni Tutorial @ KR2016, Cape Town, South Africa Department of Computing, Imperial College London, UK CLArg (Computational Logic and Argumentation) Group Add to Reading List Source URL: kr2016.cs.uct.ac.za - Date: 2016-04-28 05:31:15
10	A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C Add to Reading List Source URL: academic.johnjcamilleri.com - Date: 2014-04-23 15:38:23

UPDATE