Search Sciweavers | Sciweavers

3983 search results - page 11 / 797

» Conceptual logic programs

click to vote

DKE
2006

53views more DKE 2006»

Hierarchies in a multidimensional model: From conceptual modeling to logical representation

13 years 7 months ago

Download code.ulb.ac.be

Elzbieta Malinowski, Esteban Zimányi

claim paper

Read More »

click to vote

CJ
2000

79views more CJ 2000»

Conceptual Graphs and First Order Logic

13 years 7 months ago

Download www.dcs.gla.ac.uk

Gianni Amati, Iadh Ounis

claim paper

Read More »

click to vote

GEOINFORMATICA
2007

101views more GEOINFORMATICA 2007»

Logical Representation of a Conceptual Model for Spatial Data Warehouses

13 years 7 months ago

Download code.ulb.ac.be

Elzbieta Malinowski, Esteban Zimányi

claim paper

Read More »

click to vote

IJCAI
2007

200views Artificial Intelligence» more IJCAI 2007»

From Answer Set Logic Programming to Circumscription via Logic of GK

13 years 9 months ago

Download www.cs.ust.hk

We ﬁrst provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justiﬁed assumptions, a nonmon...

Fangzhen Lin, Yi Zhou

claim paper

Read More »

click to vote

KR
2004
Springer

195views Automated Reasoning» more KR 2004»

Improving the Forward Chaining Algorithm for Conceptual Graphs Rules

14 years 25 days ago

Download www.aaai.org

Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential ﬁrst-order log...

Jean-François Baget

claim paper

Read More »

« Prev « First page 11 / 797 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers