tag :: logic first

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)5
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Dynamic Question Answer Generator An Enhanced Approach to Question Generation
R. Garg. International Journal of Trend in Scientific Research and Development, 3 (4): 785-789 (May 2019)
5 years ago by @ijtsrd
show all tags
Artificial
First
Intelligence
Randomization
automated
deduction
logic
order
technique
ArtificialFirstIntelligenceRandomizationautomateddeductionlogicordertechnique
(0)
copydeleteadd this publication to your clipboard
2The First-Order Logical Environment
R. Kent. Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013), volume 7735 of Lecture Notes in Computer Science, page 210-230. Springer, (2013)
12 years ago by @iccs
show all tags
2013
first
fol
iccs
logic
order
2013firstfoliccslogicorder
(0)
copydeleteadd this publication to your clipboard
2Distributed First Order Logics
C. Ghidini, and L. Serafini. Working Notes of the First International Workshop on Labelled Deduction (LD'98), (1998)Short version of dfol-frocos98.
16 years ago by @cghidini
show all tags
Distributed
first
logic
order
Distributedfirstlogicorder
(0)
copydeleteadd this publication to your clipboard
2A Pattern-Based Approach to Conceptual Clustering in FOL.
F. Lisi. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 346-359. Springer, (2006)
18 years ago by @iccs
show all tags
2006
clustering
conceptual
first
fol
iccs
logic
order
pattern
2006clusteringconceptualfirstfoliccslogicorderpattern
(0)
copydeleteadd this publication to your clipboard
1A Survey of Decidable First-Order Fragments and Description Logics
U. Hustadt, R. Schmidt, and L. Georgieva. (2004)
19 years ago by @hotho
show all tags
logic
survey
description
fragments
first
order
logicsurveydescriptionfragmentsfirstorder
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)5
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Dynamic Question Answer Generator An Enhanced Approach to Question Generation

2The First-Order Logical Environment

2Distributed First Order Logics

2A Pattern-Based Approach to Conceptual Clustering in FOL.

1A Survey of Decidable First-Order Fragments and Description Logics

browse

related tags

BibSonomy

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)5 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

1Dynamic Question Answer Generator An Enhanced Approach to Question Generation

2The First-Order Logical Environment

2Distributed First Order Logics

2A Pattern-Based Approach to Conceptual Clustering in FOL.

1A Survey of Decidable First-Order Fragments and Description Logics

browse

related tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)5
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...