<--- Back to Details
First PageDocument Content
Automated theorem proving / Predicate logic / Programming paradigms / Grammar / First-order logic / Semantic network / Unification / Resolution / Semantics / Logic / Mathematics / Mathematical logic
Date: 2006-07-10 08:58:04
Automated theorem proving
Predicate logic
Programming paradigms
Grammar
First-order logic
Semantic network
Unification
Resolution
Semantics
Logic
Mathematics
Mathematical logic

Artificial Intelligence/ Language Processing C. Montgomery Editor

Add to Reading List

Source URL: www.doc.ic.ac.uk

Download Document from Source Website

File Size: 799,03 KB

Share Document on Facebook

Similar Documents

Field Methods http://fmx.sagepub.com Words as Actors: A Method for Doing Semantic Network Analysis Michael Schnegg and H. Russell Bernard Field Methods 1996; 8; 7

DocID: 1v6LL - View Document

Satellite Image Semantic Segmentation Using Fully Convolutional Network Atsushi Yoshihara, Tristan Hascoet Tetsuya Takiguchi, Yasuo Ariki

DocID: 1upzH - View Document

1 Measuring Creative Performance of Teams Through Dynamic Semantic Social Network Analysis Xue Zhang 1, Peter A. Gloor 2 and Francesca Grippa 3 1

DocID: 1tWJi - View Document

Gaussian Conditional Random Field Network for Semantic Segmentation Raviteja Vemulapalli† , Oncel Tuzel* , Ming-Yu Liu* , and Rama Chellappa† † Center for Automation Research, UMIACS, University of Maryland, Colleg

DocID: 1toOc - View Document

Recursive Context Propagation Network for Semantic Scene Labeling Abhishek Sharma University of Maryland College Park, MD

DocID: 1tmtC - View Document