{"id":"https://openalex.org/W1501784359","doi":"https://doi.org/10.1109/snpd.2015.7176169","title":"Knowledge mining for cognitive agents through path based forward checking","display_name":"Knowledge mining for cognitive agents through path based forward checking","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1501784359","doi":"https://doi.org/10.1109/snpd.2015.7176169","mag":"1501784359"},"language":"en","primary_location":{"id":"doi:10.1109/snpd.2015.7176169","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2015.7176169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024817240","display_name":"Tanvir Atahary","orcid":"https://orcid.org/0000-0002-0268-5002"},"institutions":[{"id":"https://openalex.org/I127591826","display_name":"University of Dayton","ror":"https://ror.org/021v3qy27","country_code":"US","type":"education","lineage":["https://openalex.org/I127591826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tanvir Atahary","raw_affiliation_strings":["Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","institution_ids":["https://openalex.org/I127591826"]},{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#","institution_ids":["https://openalex.org/I127591826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104090957","display_name":"Tarek M. Taha","orcid":null},"institutions":[{"id":"https://openalex.org/I127591826","display_name":"University of Dayton","ror":"https://ror.org/021v3qy27","country_code":"US","type":"education","lineage":["https://openalex.org/I127591826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tarek Taha","raw_affiliation_strings":["Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","institution_ids":["https://openalex.org/I127591826"]},{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#","institution_ids":["https://openalex.org/I127591826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039667865","display_name":"Fredrick Webber","orcid":null},"institutions":[{"id":"https://openalex.org/I127591826","display_name":"University of Dayton","ror":"https://ror.org/021v3qy27","country_code":"US","type":"education","lineage":["https://openalex.org/I127591826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fredrick Webber","raw_affiliation_strings":["Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH, USA","institution_ids":["https://openalex.org/I127591826"]},{"raw_affiliation_string":"Electrical and Computer Engineering, University of Dayton, Dayton, OH 45469, USA#TAB#","institution_ids":["https://openalex.org/I127591826"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111847909","display_name":"Scott Douglass","orcid":null},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Douglass","raw_affiliation_strings":["Human Effectiveness Directorate, Air Force Research Laboratory, OH, USA","Human Effectiveness Directorate, Air Force Research Laboratory, Wright-Patterson AFB, OH 45433, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Human Effectiveness Directorate, Air Force Research Laboratory, OH, USA","institution_ids":["https://openalex.org/I1280414376"]},{"raw_affiliation_string":"Human Effectiveness Directorate, Air Force Research Laboratory, Wright-Patterson AFB, OH 45433, USA","institution_ids":["https://openalex.org/I1280414376"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"62","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8257901072502136},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.6100456118583679},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5581077933311462},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5232205390930176},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5091099143028259},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.4985513687133789},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.45798009634017944},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4404076933860779},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.43528982996940613},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.42121511697769165},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37316036224365234},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36330071091651917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1440528929233551},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.13437101244926453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8257901072502136},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.6100456118583679},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5581077933311462},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5232205390930176},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5091099143028259},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.4985513687133789},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.45798009634017944},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4404076933860779},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43528982996940613},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.42121511697769165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37316036224365234},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36330071091651917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1440528929233551},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.13437101244926453},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/snpd.2015.7176169","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2015.7176169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7599999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W43089898","https://openalex.org/W1509511315","https://openalex.org/W1561433714","https://openalex.org/W1823909182","https://openalex.org/W1885981580","https://openalex.org/W1996418875","https://openalex.org/W2004388081","https://openalex.org/W2026125863","https://openalex.org/W2030758178","https://openalex.org/W2040152339","https://openalex.org/W2090156293","https://openalex.org/W2111669793","https://openalex.org/W2113058651","https://openalex.org/W2118497901","https://openalex.org/W2122410182","https://openalex.org/W2128653745","https://openalex.org/W2136518234","https://openalex.org/W2154111453","https://openalex.org/W2167383108","https://openalex.org/W2730963839","https://openalex.org/W2741261446","https://openalex.org/W4394703503","https://openalex.org/W6638526532","https://openalex.org/W6740669977"],"related_works":["https://openalex.org/W2161128834","https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W2097415053","https://openalex.org/W2012141606","https://openalex.org/W1550482496","https://openalex.org/W2784687883","https://openalex.org/W2102858635","https://openalex.org/W2012694101","https://openalex.org/W2470231588"],"abstract_inverted_index":{"The":[0,81,165],"Cognitively":[1],"Enhanced":[2],"Complex":[3],"Event":[4],"Processing":[5],"(CECEP)":[6],"architecture":[7,27],"is":[8,51,86],"an":[9],"autonomous":[10],"decision":[11,24],"support":[12],"tool":[13],"that":[14],"reasons":[15],"and":[16,20,33,39,123,140,152,180],"learns":[17],"like":[18],"humans":[19],"enables":[21,136],"enhanced":[22],"agent-based":[23],"making.":[25],"This":[26,61],"has":[28],"applications":[29],"in":[30,56],"both":[31],"military":[32],"civilian":[34],"domains,":[35],"including":[36],"operations":[37],"research":[38],"data":[40],"mining.":[41],"One":[42],"of":[43,49,75,89,99,143,171],"the":[44,96,100,144,162,177,188],"most":[45],"computationally":[46],"challenging":[47],"aspects":[48],"CECEP":[50],"mining":[52],"domain":[53,58],"knowledge":[54,65],"captured":[55],"cognitive":[57],"ontologies":[59],"(CDOs).":[60],"requires":[62],"massively":[63],"linked":[64],"databases":[66],"to":[67,77,95,120,126,148,159],"be":[68],"searched":[69],"based":[70,115,193],"on":[71,157],"a":[72,87,110,127,137,169,183,191],"large":[73],"set":[74],"constraints":[76],"generate":[78],"intelligent":[79],"decisions.":[80],"solution":[82,146,163,179],"search":[83],"for":[84,175,186],"CDOs":[85,122],"kind":[88],"Constraint":[90],"Satisfaction":[91],"Problem":[92],"(CSP).":[93],"Due":[94],"unique":[97],"nature":[98],"CDO-to-CSP":[101],"mapping,":[102],"generic":[103],"constraint":[104],"solvers":[105],"are":[106],"inefficient.":[107],"We":[108],"introduce":[109],"novel":[111],"high":[112],"performance":[113],"path":[114],"forward":[116],"checking":[117],"CSP":[118,130,195],"algorithm":[119,167],"solve":[121],"compare":[124],"it":[125],"commonly":[128],"utilized":[129],"solving":[131],"application.":[132],"Additionally":[133],"our":[134],"approach":[135],"very":[138],"compact":[139],"efficient":[141],"representation":[142],"entire":[145],"space":[147],"allow":[149],"fast":[150],"processing":[151],"give":[153],"agents":[154],"key":[155],"ideas":[156],"how":[158],"further":[160],"reduce":[161],"space.":[164],"proposed":[166],"provided":[168],"speedup":[170],"about":[172,181],"10-25":[173],"times":[174,185],"generating":[176],"first":[178],"half":[182],"million":[184],"all":[187],"solutions":[189],"over":[190],"Choco":[192],"conventional":[194],"approach.":[196]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":6}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}