Results 1 - 20 of 75 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Refined by:
Database:
DTIC STINET
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Reports
|
|
Set Constraints and Logic Programming (Preprint)Approved For Public ReleaseDigital Resources/Online E-Resources |
| 2 |
Material Type: Reports
|
|
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization ProblemsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 3 |
Material Type: Reports
|
|
Resilient Software SystemsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 4 |
Material Type: Reports
|
|
A Temporal Logic for Network Flow AnalysisApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 5 |
Material Type: Reports
|
|
MELD: A Logical Approach to Distributed and Parallel ProgrammingApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 6 |
Material Type: Reports
|
|
Permission to Speak: A Novel Formal Foundation for Access ControlApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 7 |
Material Type: Reports
|
|
Service-oriented Reasoning Architecture for Resource-Task Assignment in Sensor NetworksApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 8 |
Material Type: Reports
|
|
Discriminative Learning with Markov Logic NetworksApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 9 |
Material Type: Reports
|
|
Enhanced Specification and Verification for Timed PlanningApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 10 |
Material Type: Reports
|
|
Relational Data Mining with Inductive Logic Programming for Link DiscoveryApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 11 |
Material Type: Reports
|
|
Knowledge-Intensive, Interactive and Efficient Relational Pattern LearningApproved for public release; distribution is unlimited. This document is not available from DTIC in microfiche.Digital Resources/Online E-Resources |
| 12 |
Material Type: Reports
|
|
Deductive Databases and Knowledge Base SystemsAPPROVED FOR PUBLIC RELEASEDigital Resources/Online E-Resources |
| 13 |
Material Type: Reports
|
|
Comparison of Graph-Based and Logic-Based Multi-Relational Data MiningApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 14 |
Material Type: Reports
|
|
Basic Forward Chaining Construction for Logic ProgramsAPPROVED FOR PUBLIC RELEASEDigital Resources/Online E-Resources |
| 15 |
Material Type: Reports
|
|
Notes on the Conversion of LogLisp from Rutgers/UCI-Lisp to InterLispAPPROVED FOR PUBLIC RELEASEDigital Resources/Online E-Resources |
| 16 |
Material Type: Reports
|
|
A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C ProgramsApproved for public release; distribution is unlimited. This document is not available from DTIC in microfiche.Digital Resources/Online E-Resources |
| 17 |
Material Type: Reports
|
|
Logic Programs, Well-orderings and Forward ChainingAPPROVED FOR PUBLIC RELEASEDigital Resources/Online E-Resources |
| 18 |
Material Type: Reports
|
|
Constructive Negotiation in Logic ProgramsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 19 |
Material Type: Reports
|
|
Logics and Models for Concurrency and Type TheoryApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
| 20 |
Material Type: Reports
|
|
WFS + Branch and Bound = Stable ModelsApproved for public release; distribution is unlimited.Digital Resources/Online E-Resources |
Results 1 - 20 of 75 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Creation Date
- Before 1984 (7)
- 1984 To 1988 (32)
- 1989 To 1994 (17)
- 1995 To 2006 (11)
- After 2006 (9)
-
More options
Subject
- Logic Programming (67)
- Computer Programming And Software (65)
- Computer Programming (46)
- Computer Logic (44)
- Programming Languages (29)
- Artificial Intelligence (21)
- Algorithms (19)
- Logic (19)
- Semantics (18)
- Data Bases (15)
- Reasoning (12)
- Computer Programs (11)
- Computations (11)
- Cybernetics (10)
- Knowledge Based Systems (8)
- Optimization (8)
- High Level Languages (8)
- Compilers (8)
- Computer Hardware (7)
- Computer Program Verification (7)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||