Hackpads are smart collaborative documents.
Join Hackpad Now
.
narrative-ai
h
narrative-ai
hackpad
more
+ new workspace
Sign In
hide
feedback
invitees only
everyone (public)
Logic
547 days ago
Pfenning 2012 Transcript 1
Unfiled
.
Edited by
Claudia Doppioslash
547 days ago
WIP
:
"???" indicates I didn't catch whatever he said, I'll put the times when he said it within [], according to the
mp4
files.
Show full change
Show only preview
582 days ago
Modal Logic
Unfiled
.
Edited by
Claudia Doppioslash
582 days ago
Modal Logic for Artificial Intelligence
Modal Logic and Its Applications, explained using Puzzles and Examples
Modal Linear Logic in Higher Order Logic An experiment with COQ
[meditans: combining linear logic and modal logic is possible, per se]
Found this paper this month... Will need to learn Coq!!!!! :D
Almost about to learn it myself :) I got a couple of online books, which I assume you probably already found?
Show full change
Show only preview
592 days ago
Modal Logics
Unfiled
.
Edited by
Doktor Towerstein
592 days ago
Here are a couple of good papers on dynamic epistemic logic and other useful modal logics:
http://pacuit.org/media/mypapers/phco1.pdf
http://pacuit.org/media/mypapers/phco2.pdf
Belief revision with plausibility values for states and actions:
http://www.jair.org/papers/paper4558.html
A nice course on Dynamic Epistemic Logic using... Haskell!!!
http://homepages.cwi.nl/~jve/courses/esslli08/
History of Dynamic Epistemic Logic:
http://www.iep.utm.edu/wp-content/media/DynamicEpistemicLogic.pdf
Planning based on a temporal logic (maybe belongs to planning?):
Show full change
Show only preview
600 days ago
First Order Logic
Unfiled
.
Edited by
Claudia Doppioslash
600 days ago
References
Representing Game Dialogue as Expressions in First-Order Logic
Show full change
Show only preview
601 days ago
Exclusion Logic
Unfiled
.
Edited by
Claudia Doppioslash
601 days ago
Introducing Exclusion Logic as a Deontic Logic
Show full change
Show only preview
601 days ago
Linear Logic
Unfiled
.
Edited by
Claudia Doppioslash
601 days ago
Linear Logic Programming for Narrative Generation
, Chris Marten's Thesis
UluĂ§ Saranli and Frank Pfenning.
Using constrained intuitionistic linear logic for hybrid robotic planning problems
Show full change
Show only preview
601 days ago
How to Learn Enough Logic
Unfiled
.
Edited by
Claudia Doppioslash
601 days ago
Why?
You'll need it to keep up with the discussion, the agents need to be modelled in some type of Logic. Which one is best is open to debate.
Show full change
Show only preview
Stop sharing the collection with
?
This pad is open to "
", so
will still be able to access it.
Cancel
Stop Sharing
Follow
Unfollow
Followed by
List of Hackpads
Exclusion Logic
First Order Logic
How to Learn Enough Logic
Linear Logic
Modal Logic
Modal Logics
Pfenning 2012 Transcript 1
Logout
txt
Contact Support
Please select a topic
General usage / How does this work?
Feature request
Login / account issue
Broken / can't load hackpad
Mobile / iOS issue
Other issue
Send your love! ♥
Please check out our
How-to Guide
and
FAQ
first to see if your question is already answered! :)
If you have a feature request, please add it to
this pad
. Thanks!
Send
Log in
Sign in with
Google
Sign in with
Facebook
or
Go
Forgot password?
Start using Hackpad
You'll need to turn on JavaScript to use Hackpad in all of its awesomeness. ^_^