Search Sciweavers | Sciweavers

3385 search results - page 22 / 677

» Language, Logic, and the Brain

163

click to vote

KR
2010
Springer

262views Automated Reasoning» more KR 2010»

From Preference Logics to Preference Languages, and Back

15 years 11 months ago

Download www.informatik.uni-bremen.de

Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...

Meghyn Bienvenu, Jérôme Lang, Nic Wil...

claim paper

Read More »

140

click to vote

EACL
2009
ACL Anthology

113views Natural Language Processing» more EACL 2009»

A Logic of Semantic Representations for Shallow Parsing

16 years 6 months ago

Download www.aclweb.org

Alexander Koller, Alex Lascarides

claim paper

Read More »

132

click to vote

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

16 years 20 days ago

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

147

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 11 months ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

136

click to vote

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers